Constant K_SYSCALL_K_SEM_RESET 

pub const K_SYSCALL_K_SEM_RESET: u32 = 75;