Searched refs:microbit_machine_init (Results 1 – 1 of 1) sorted by relevance
79 static void microbit_machine_init(void) in microbit_machine_init() function84 type_init(microbit_machine_init);