Constant K_SYSCALL_GPIO_PIN_SET_RAW 

pub const K_SYSCALL_GPIO_PIN_SET_RAW: u32 = 12;