Constant K_SYSCALL_SIP_SUPERVISORY_CALL 

pub const K_SYSCALL_SIP_SUPERVISORY_CALL: u32 = 519;