Constant K_SYSCALL_SIP_SVC_PLAT_FORMAT_TRANS_ID 

pub const K_SYSCALL_SIP_SVC_PLAT_FORMAT_TRANS_ID: u32 = 522;