copyin_fast
int copyin_fast(const void *udaddr, void *kaddr, size_t len, u_int);
(uintptr_t)copyin_fast + setidt_disp);