l4_vm_state_t Struct Reference

L4 extended vCPU state for RISC-V. More...

#include <vm.h>

Collaboration diagram for l4_vm_state_t:

Detailed Description

L4 extended vCPU state for RISC-V.

Contains the additional RISC-V guest state accompanying the l4_vcpu_state_t.

Definition at line 50 of file vm.h.

---

The documentation for this struct was generated from the following file:

• riscv/l4/sys/vm.h