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