Searched refs:board_set_serial (Results 1 – 3 of 3) sorted by relevance
37 void board_set_serial(uint64_t);
88 board_set_serial(((uint64_t)cells[0]) << 32 | cells[1]); in bcm2835_late_init()
103 board_set_serial(uint64_t serial) in board_set_serial() function239 board_set_serial(serial); in linux_parse_boot_param()