Constant K_SYSCALL_HWSPINLOCK_GET_MAX_ID

pub const K_SYSCALL_HWSPINLOCK_GET_MAX_ID: u32 = 328;