Searched refs:orig_pkey_faults (Results 1 – 1 of 1) sorted by relevance
1524 int orig_pkey_faults = pkey_faults; in run_tests_once() local1540 dprintf1("orig_pkey_faults: %d\n", orig_pkey_faults); in run_tests_once()