Searched refs:read_debugfs_int (Results 1 – 5 of 5) sorted by relevance
39 if (read_debugfs_int("powerpc/rfi_flush", &rfi_flush_orig) < 0) { in uaccess_flush_test()44 if (read_debugfs_int("powerpc/entry_flush", &entry_flush_orig) < 0) { in uaccess_flush_test()49 if (read_debugfs_int("powerpc/uaccess_flush", &uaccess_flush_orig) < 0) { in uaccess_flush_test()
37 if (read_debugfs_int("powerpc/rfi_flush", &rfi_flush_orig) < 0) { in rfi_flush_test()42 if (read_debugfs_int("powerpc/entry_flush", &entry_flush_orig) < 0) { in rfi_flush_test()
37 if (read_debugfs_int("powerpc/rfi_flush", &rfi_flush_orig) < 0) { in entry_flush_test()42 if (read_debugfs_int("powerpc/entry_flush", &entry_flush_orig) < 0) { in entry_flush_test()
62 int read_debugfs_int(const char *debugfs_file, int *result);
502 int read_debugfs_int(const char *debugfs_file, int *result) in read_debugfs_int() function