Searched refs:read_debugfs_file (Results 1 – 3 of 3) sorted by relevance
35 int read_debugfs_file(char *debugfs_file, int *result);
57 if (read_debugfs_file("powerpc/rfi_flush", &rfi_flush_org)) { in rfi_flush_test()
130 int read_debugfs_file(char *debugfs_file, int *result) in read_debugfs_file() function