Searched refs:ptr_set_bit (Results 1 – 1 of 1) sorted by relevance
149 static inline void *ptr_set_bit(void *ptr, int bit) in ptr_set_bit() function166 return ptr_set_bit(pgdp, PTI_PGTABLE_SWITCH_BIT); in kernel_to_user_pgdp()176 return ptr_set_bit(p4dp, PTI_PGTABLE_SWITCH_BIT); in kernel_to_user_p4dp()