Searched defs:bios_scratch_reg_startaddr (Results 1 – 1 of 1) sorted by relevance
487 uint32_t bios_scratch_reg_startaddr; // 1st bios scratch register dword address member526 uint32_t bios_scratch_reg_startaddr; // 1st bios scratch register dword address member554 uint32_t bios_scratch_reg_startaddr; // 1st bios scratch register dword address member582 uint32_t bios_scratch_reg_startaddr; // 1st bios scratch register dword address member620 uint32_t bios_scratch_reg_startaddr; // 1st bios scratch register dword address member