xen_domctl_max_vcpus Struct Reference

#include <domctl.h>

Data Fields
uint32_t	max

Field Documentation

max

uint32_t xen_domctl_max_vcpus::max

---

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

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