xen_domctl_paging_mempool Struct Reference

#include <domctl.h>

Data Fields
uint64_t	size

Field Documentation

size

uint64_t xen_domctl_paging_mempool::size

---

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

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