|
iPXE
|
#include <arch-ppc.h>
Data Fields | |
| uint64_t | gprs [32] |
| uint64_t | lr |
| uint64_t | ctr |
| uint64_t | srr0 |
| uint64_t | srr1 |
| uint64_t | pc |
| uint64_t | msr |
| uint64_t | fpscr |
| uint64_t | xer |
| uint64_t | hid4 |
| uint64_t | dar |
| uint32_t | dsisr |
| uint32_t | cr |
| uint32_t | __pad |
| uint32_t | entry_vector |
Definition at line 65 of file arch-ppc.h.
| uint64_t vcpu_guest_core_regs::gprs[32] |
Definition at line 67 of file arch-ppc.h.
| uint64_t vcpu_guest_core_regs::lr |
Definition at line 68 of file arch-ppc.h.
| uint64_t vcpu_guest_core_regs::ctr |
Definition at line 69 of file arch-ppc.h.
| uint64_t vcpu_guest_core_regs::srr0 |
Definition at line 70 of file arch-ppc.h.
| uint64_t vcpu_guest_core_regs::srr1 |
Definition at line 71 of file arch-ppc.h.
| uint64_t vcpu_guest_core_regs::pc |
Definition at line 72 of file arch-ppc.h.
| uint64_t vcpu_guest_core_regs::msr |
Definition at line 73 of file arch-ppc.h.
| uint64_t vcpu_guest_core_regs::fpscr |
Definition at line 74 of file arch-ppc.h.
| uint64_t vcpu_guest_core_regs::xer |
Definition at line 75 of file arch-ppc.h.
| uint64_t vcpu_guest_core_regs::hid4 |
Definition at line 76 of file arch-ppc.h.
| uint64_t vcpu_guest_core_regs::dar |
Definition at line 77 of file arch-ppc.h.
| uint32_t vcpu_guest_core_regs::dsisr |
Definition at line 78 of file arch-ppc.h.
| uint32_t vcpu_guest_core_regs::cr |
Definition at line 79 of file arch-ppc.h.
| uint32_t vcpu_guest_core_regs::__pad |
Definition at line 80 of file arch-ppc.h.
| uint32_t vcpu_guest_core_regs::entry_vector |
Definition at line 81 of file arch-ppc.h.
1.8.15