Constant K_SYSCALL_GPIO_PIN_TOGGLE 

pub const K_SYSCALL_GPIO_PIN_TOGGLE: u32 = 13;