19 /* bit mask in PIO port B */
26 	at91_pio_t *pio = (at91_pio_t *)ATMEL_BASE_PIO;  in green_led_on()  local
27 	writel(GREEN_LED, &pio->piob.codr);  in green_led_on()
32 	at91_pio_t *pio = (at91_pio_t *)ATMEL_BASE_PIO;  in yellow_led_on()  local
33 	writel(YELLOW_LED, &pio->piob.codr);  in yellow_led_on()
38 	at91_pio_t *pio = (at91_pio_t *)ATMEL_BASE_PIO;  in red_led_on()  local
39 	writel(RED_LED, &pio->piob.codr);  in red_led_on()
44 	at91_pio_t *pio = (at91_pio_t *)ATMEL_BASE_PIO;  in green_led_off()  local
45 	writel(GREEN_LED, &pio->piob.sodr);  in green_led_off()
50 	at91_pio_t *pio = (at91_pio_t *)ATMEL_BASE_PIO;  in yellow_led_off()  local
51 	writel(YELLOW_LED, &pio->piob.sodr);  in yellow_led_off()
56 	at91_pio_t *pio = (at91_pio_t *)ATMEL_BASE_PIO;  in red_led_off()  local
57 	writel(RED_LED, &pio->piob.sodr);  in red_led_off()
62 	at91_pio_t *pio = (at91_pio_t *)ATMEL_BASE_PIO;  in coloured_LED_init()  local
67 	writel(GREEN_LED | YELLOW_LED | RED_LED, &pio->piob.per);  in coloured_LED_init()
69 	writel(GREEN_LED | YELLOW_LED | RED_LED, &pio->piob.oer);  in coloured_LED_init()
71 	writel(GREEN_LED | YELLOW_LED | RED_LED, &pio->piob.sodr);  in coloured_LED_init()