Zephyr API Documentation 4.0.0
A Scalable Open Source RTOS
Loading...
Searching...
No Matches
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: