Searched refs:rpb_restart (Results 1 – 3 of 3) sorted by relevance
38 void (*rpb_restart)(void);/* 4 physical address of restart routine */ member
227 uint64_t rpb_restart; /* 100: restart */ member
735 hwrpb->rpb_restart = (uint64_t) cpu_spinup_trampoline; in cpu_boot_secondary()