Searched refs:read_debugfs_file (Results 1 – 4 of 4) sorted by relevance
37 if (read_debugfs_file("powerpc/rfi_flush", &rfi_flush_orig) < 0) { in entry_flush_test()42 if (read_debugfs_file("powerpc/entry_flush", &entry_flush_orig) < 0) { in entry_flush_test()
37 if (read_debugfs_file("powerpc/rfi_flush", &rfi_flush_orig) < 0) { in rfi_flush_test()42 if (read_debugfs_file("powerpc/entry_flush", &entry_flush_orig) < 0) { in rfi_flush_test()
36 int read_debugfs_file(char *debugfs_file, int *result);
162 int read_debugfs_file(char *debugfs_file, int *result) in read_debugfs_file() function