Searched refs:board_set_serial (Results 1 – 3 of 3) sorted by relevance
82 board_set_serial(((uint64_t)cells[0]) << 32 | cells[1]); in bcm2835_late_init()
36 void board_set_serial(uint64_t);
100 board_set_serial(uint64_t serial) in board_set_serial() function236 board_set_serial(serial); in linux_parse_boot_param()