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