From 9f528bbcc8a3d94c9be27a0eecc12022d4b3bfaa Mon Sep 17 00:00:00 2001
From: Andrey Konovalov <andreyknvl@google.com>
Date: Fri, 1 Feb 2019 01:08:17 +0100
Subject: sys/linux: rename dev descriptions files

Prefix file names of descriptions of /dev/* files with dev_.
And give some of them more appropriate names.
---
 sys/linux/random_ppc64le.const | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 sys/linux/random_ppc64le.const

(limited to 'sys/linux/random_ppc64le.const')

diff --git a/sys/linux/random_ppc64le.const b/sys/linux/random_ppc64le.const
deleted file mode 100644
index 65c96b22b..000000000
--- a/sys/linux/random_ppc64le.const
+++ /dev/null
@@ -1,9 +0,0 @@
-# AUTOGENERATED FILE
-AT_FDCWD = 18446744073709551516
-RNDADDENTROPY = 2148028931
-RNDADDTOENTCNT = 2147766785
-RNDCLEARPOOL = 536891910
-RNDGETENTCNT = 1074024960
-RNDZAPENTCNT = 536891908
-__NR_ioctl = 54
-__NR_openat = 286
-- 
cgit mrf-deployment