Constant K_SYSCALL_GPIO_PIN_SET 

pub const K_SYSCALL_GPIO_PIN_SET: u32 = 11;