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