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