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