Barrelfish
|
Structure to hold information regarding AMD SVM. More...
Data Fields | |
struct cte | monitor_ep |
The endpoint to the monitor. | |
struct cte | ctrl |
The VMKit guest shared data structure. | |
struct cte | vmcb |
The physical address of the AMD VMCB. | |
Structure to hold information regarding AMD SVM.