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