Searched refs:PAGEFAULT (Results 1 – 4 of 4) sorted by relevance
1 RULE = always (RT imply not PAGEFAULT)
200 RULE = always (RT imply not PAGEFAULT)204 correct value when `PAGEFAULT` is true. Motivated by this case, another217 Effectively, whenever `PAGEFAULT` is updated with a call to `ltl_atom_update()`,
35 RULE = always (RT imply not PAGEFAULT)
1153 DECL_SVM_RANGE_COUNT_STATS(fault, PAGEFAULT) in DECL_SVM_RANGE_COUNT_STATS() argument1183 DECL_SVM_RANGE_US_STATS(fault, PAGEFAULT)