add user_pgfault_handler