![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <transition.h>
Data Fields | |
uint64_t | sp |
uint64_t | x [31] |
Definition at line 92 of file transition.h.
uint64_t regs::sp |
Definition at line 93 of file transition.h.
Referenced by exc_entry(), and print_regs().
uint64_t regs::x[31] |
Definition at line 94 of file transition.h.
Referenced by print_regs(), and transition_to_el2().