![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <transition.h>
Data Fields | |
uint64_t | spsr |
uint64_t | sp_el0 |
uint64_t | sp_elx |
uint64_t | elr |
Definition at line 97 of file transition.h.
uint64_t elx_state::elr |
Definition at line 101 of file transition.h.
Referenced by exc_entry(), print_regs(), and transition_to_el2().
uint64_t elx_state::sp_el0 |
Definition at line 99 of file transition.h.
uint64_t elx_state::sp_elx |
Definition at line 100 of file transition.h.
Referenced by transition_to_el2().
uint64_t elx_state::spsr |
Definition at line 98 of file transition.h.
Referenced by exc_entry(), and transition_to_el2().