Constant K_SYSCALL_K_SEM_COUNT_GET

pub const K_SYSCALL_K_SEM_COUNT_GET: u32 = 75;