Constant K_SYSCALL_TEE_SHM_REGISTER 

pub const K_SYSCALL_TEE_SHM_REGISTER: u32 = 586;