Constant K_SYSCALL_USER_FAULT

pub const K_SYSCALL_USER_FAULT: u32 = 534;