Searched defs:page1_flags (Results 1 – 1 of 1) sorted by relevance
229 uint64_t page1_flags, page2_flags; in lock_check() local267 uint64_t page1_flags, page2_flags; in unlock_lock_check() local334 uint64_t page1_flags, page2_flags; in onfault_check() local382 uint64_t page1_flags; in unlock_onfault_check() local448 uint64_t page1_flags, page2_flags; in test_lock_onfault_of_present() local