1 /* microbit.c - BBC micro:bit specific hooks */
6  * SPDX-License-Identifier: Apache-2.0
17 	GPIO_DT_SPEC_GET(DT_NODELABEL(buttona), gpios);
35 	struct mb_display *disp = mb_display_get();  in button_pressed()  local
41 	mb_display_print(disp, MB_DISPLAY_MODE_DEFAULT, 500, "%04u",  in button_pressed()
63 	struct mb_display *disp = mb_display_get();  in board_output_number()  local
74 	mb_display_image(disp, MB_DISPLAY_MODE_DEFAULT, SYS_FOREVER_MS, &arrow,  in board_output_number()
80 	struct mb_display *disp = mb_display_get();  in board_prov_complete()  local
89 	mb_display_image(disp, MB_DISPLAY_MODE_DEFAULT, 10 * MSEC_PER_SEC,  in board_prov_complete()
95 	struct mb_display *disp = mb_display_get();  in board_init()  local
97 	mb_display_image(disp, MB_DISPLAY_MODE_DEFAULT | MB_DISPLAY_FLAG_LOOP,  in board_init()
109 	struct mb_display *disp = mb_display_get();  in board_led_set()  local
111 	mb_display_image(disp, MB_DISPLAY_MODE_DEFAULT, SYS_FOREVER_MS,  in board_led_set()