54 	uint32_t		caps;  member
58 	{ .pin = (1 << 11), .name = "reset switch", .caps = GPIO_PIN_INPUT },
59 	{ .pin = (1 << 15), .name = "red LED", .caps = GPIO_PIN_OUTPUT },
60 	{ .pin = (1 << 17), .name = "green LED", .caps = GPIO_PIN_OUTPUT },
62 	{ .pin = (1 << 16), .name = "HD1 LED", .caps = GPIO_PIN_OUTPUT },
63 	{ .pin = (1 << 18), .name = "HD2 LED", .caps = GPIO_PIN_OUTPUT },
122 rcc_gpio_pin_getcaps(device_t dev, uint32_t pin, uint32_t *caps)  in rcc_gpio_pin_getcaps()  argument
130 	*caps = rcc_pins[pin].caps;  in rcc_gpio_pin_getcaps()
145 	*flags = rcc_pins[pin].caps;  in rcc_gpio_pin_getflags()
187 	if ((rcc_pins[pin].caps & GPIO_PIN_OUTPUT) == 0)  in rcc_gpio_pin_set()
212 	if (rcc_pins[pin].caps & GPIO_PIN_INPUT)  in rcc_gpio_pin_get()
231 	if ((rcc_pins[pin].caps & GPIO_PIN_OUTPUT) == 0)  in rcc_gpio_pin_toggle()
301 		if (rcc_pins[i].caps & GPIO_PIN_OUTPUT)  in rcc_gpio_attach()