Searched refs:ps_set_index (Results 1 – 1 of 1) sorted by relevance
3878 const unsigned ps_set_index = 1 << 2; /* bit 2 of index: ps */ in update_last_pte_bitmap() local3883 map = 1 | (1 << ps_set_index); in update_last_pte_bitmap()3887 map |= 1 << (ps_set_index | (level - 1)); in update_last_pte_bitmap()