Constant K_SYSCALL_IPM_MAX_ID_VAL_GET 

pub const K_SYSCALL_IPM_MAX_ID_VAL_GET: u32 = 385;