subyte_fast
int subyte_fast(volatile void *base, int val, u_int kcr3);
(uintptr_t)subyte_fast + setidt_disp);