Searched defs:bios_scratch_reg_startaddr (Results 1 – 1 of 1) sorted by relevance
478 uint32_t bios_scratch_reg_startaddr; // 1st bios scratch register dword address member511 uint32_t bios_scratch_reg_startaddr; // 1st bios scratch register dword address member