Searched defs:page2_flags (Results 1 – 1 of 1) sorted by relevance
287 uint64_t page1_flags, page2_flags; in lock_check() local325 uint64_t page1_flags, page2_flags; in unlock_lock_check() local392 uint64_t page1_flags, page2_flags; in onfault_check() local506 uint64_t page1_flags, page2_flags; in test_lock_onfault_of_present() local