Searched defs:interface_version (Results 1 – 3 of 3) sorted by relevance
69 vki_uint32_t interface_version; /* VKI_XEN_FLASK_INTERFACE_VERSION */ member
171 vki_uint32_t interface_version; /* XEN_SYSCTL_INTERFACE_VERSION */ member
473 vki_uint32_t interface_version; /* XEN_DOMCTL_INTERFACE_VERSION */ member