Searched refs:read_debugfs_file (Results 1 – 4 of 4) sorted by relevance
58 if (read_debugfs_file("powerpc/rfi_flush", &rfi_flush_orig) < 0) { in rfi_flush_test()63 if (read_debugfs_file("powerpc/entry_flush", &entry_flush_orig) < 0) { in rfi_flush_test()
62 if (read_debugfs_file("powerpc/rfi_flush", &rfi_flush_orig) < 0) { in entry_flush_test()67 if (read_debugfs_file("powerpc/entry_flush", &entry_flush_orig) < 0) { in entry_flush_test()
35 int read_debugfs_file(char *debugfs_file, int *result);
143 int read_debugfs_file(char *debugfs_file, int *result) in read_debugfs_file() function