bool gpio_get_pin(unsigned int pin) { return get_exo(HAL_REQ(HAL_GPIO, IPC_GPIO_GET_PIN), pin, 0, 0); }
unsigned int gpio_get_mask(unsigned int port, unsigned int mask) { return get_exo(HAL_REQ(HAL_GPIO, IPC_GPIO_GET_MASK), port, mask, 0); }
unsigned int power_get_clock(POWER_CLOCK_TYPE clock_type) { return get_exo(HAL_REQ(HAL_POWER, POWER_GET_CLOCK), clock_type, 0, 0); }