PTI_PGTABLE_SWITCH_BIT
return ptr_set_bit(pgdp, PTI_PGTABLE_SWITCH_BIT);
return ptr_clear_bit(pgdp, PTI_PGTABLE_SWITCH_BIT);
return ptr_set_bit(p4dp, PTI_PGTABLE_SWITCH_BIT);
return ptr_clear_bit(p4dp, PTI_PGTABLE_SWITCH_BIT);