| // SPDX-License-Identifier: GPL-2.0 | |
| #include <linux/types.h> | |
| #include <linux/errno.h> | |
| #include <linux/signal.h> | |
| #include <shared/kern_util.h> | |
| int handle_page_fault(unsigned long address, unsigned long ip, | |
| int is_write, int is_user, int *code_out) | |
| { | |
| /* everything that's valid is already mapped in NOMMU */ | |
| *code_out = SEGV_MAPERR; | |
| return -EFAULT; | |
| } |