Searched defs:bios_scratch_reg_startaddr (Results 1 – 1 of 1) sorted by relevance
479 uint32_t bios_scratch_reg_startaddr; // 1st bios scratch register dword address member516 uint32_t bios_scratch_reg_startaddr; // 1st bios scratch register dword address member544 uint32_t bios_scratch_reg_startaddr; // 1st bios scratch register dword address member572 uint32_t bios_scratch_reg_startaddr; // 1st bios scratch register dword address member