Searched refs:PDTE_SW4 (Results 1 – 2 of 2) sorted by relevance
474 #define PDTE_SW4(hw_pdte) ((hw_pdte) & ((uint64_t)1<<63)) macro
1757 ASSERT(PDTE_SW4(pdte)); in PDTE_check()