PT_kernel
set_bit(PT_kernel, &ptdesc->pt_flags.f);
clear_bit(PT_kernel, &ptdesc->pt_flags.f);
return test_bit(PT_kernel, &ptdesc->pt_flags.f);