Constant K_SYSCALL_IVSHMEM_GET_STATE 

pub const K_SYSCALL_IVSHMEM_GET_STATE: u32 = 417;