Symbol: board_set_serial
sys/arm/arm/machdep_boot.c
236
board_set_serial(serial);
sys/arm/broadcom/bcm2835/bcm2835_machdep.c
82
board_set_serial(((uint64_t)cells[0]) << 32 | cells[1]);
sys/arm/include/machdep.h
35
void board_set_serial(uint64_t);