/* SPDX-License-Identifier: GPL-2.0 */ struct pt_regs; int do_page_fault(struct pt_regs *regs, unsigned long address, unsigned long error_code); int send_fault_sig(struct pt_regs *regs);