kpageflttrap
if (kpageflttrap(frame, cr2))
int kpageflttrap(struct trapframe *, uint64_t);
int kpageflttrap(struct trapframe *, uint32_t);