Constant K_SYSCALL_XTENSA_USER_FAULT 

pub const K_SYSCALL_XTENSA_USER_FAULT: u32 = 617;