fubyte_fast
int fubyte_fast(volatile const void *base, u_int kcr3);
(uintptr_t)fubyte_fast + setidt_disp);