xen_domctl_vcpucontext Struct Reference

#include <domctl.h>

Data Fields
uint32_t	vcpu
	ctxt

Field Documentation

ctxt

xen_domctl_vcpucontext::ctxt

vcpu

uint32_t xen_domctl_vcpucontext::vcpu

---

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

• include/zephyr/xen/public/domctl.h