Symbol: SYSCALL_FAULT_USER_MAX