Searched refs:v_bootinfo (Results 1 – 1 of 1) sorted by relevance
123 uint32_t v_bootinfo[3]; /* info for mboot (unsupported) */ member138 uint32_t v_bootinfo[3]; /* info needed by mboot */