Constant K_SYSCALL_GPIO_PIN_GET 

pub const K_SYSCALL_GPIO_PIN_GET: u32 = 7;