Home
last modified time | relevance | path

Searched refs:board_set_serial (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/arm/broadcom/bcm2835/
H A Dbcm2835_machdep.c82 board_set_serial(((uint64_t)cells[0]) << 32 | cells[1]); in bcm2835_late_init()
/freebsd/sys/arm/include/
H A Dmachdep.h36 void board_set_serial(uint64_t);
/freebsd/sys/arm/arm/
H A Dmachdep_boot.c100 board_set_serial(uint64_t serial) in board_set_serial() function
236 board_set_serial(serial); in linux_parse_boot_param()