Constant K_SYSCALL_SIP_SVC_PLAT_GET_TRANS_IDX 

pub const K_SYSCALL_SIP_SVC_PLAT_GET_TRANS_IDX: u32 = 526;