handle_page_fault
void handle_page_fault(struct pt_regs *regs);
handle_page_fault(regs);
extern int handle_page_fault(unsigned long address, unsigned long ip,
err = handle_page_fault(virt, 0, is_write, 1, &dummy_code);
err = handle_page_fault(address, ip, is_write, is_user,
handle_page_fault(regs, error_code, address);
rv_attach_trace_probe("rtapp_pagefault", page_fault_kernel, handle_page_fault);
rv_attach_trace_probe("rtapp_pagefault", page_fault_user, handle_page_fault);
rv_detach_trace_probe("rtapp_pagefault", page_fault_kernel, handle_page_fault);
rv_detach_trace_probe("rtapp_pagefault", page_fault_user, handle_page_fault);