Home
last modified time | relevance | path

Searched refs:vki_xen_uint64_aligned_t (Results 1 – 4 of 4) sorted by relevance

/external/valgrind/include/vki/
Dvki-xen-domctl.h135 vki_xen_uint64_aligned_t tot_pages;
136 vki_xen_uint64_aligned_t max_pages;
137 vki_xen_uint64_aligned_t shr_pages;
138 vki_xen_uint64_aligned_t paged_pages;
139 vki_xen_uint64_aligned_t shared_info_frame;
140 vki_xen_uint64_aligned_t cpu_time;
154 vki_xen_uint64_aligned_t tot_pages;
155 vki_xen_uint64_aligned_t max_pages;
156 vki_xen_uint64_aligned_t shr_pages;
157 vki_xen_uint64_aligned_t paged_pages;
[all …]
Dvki-xen-sysctl.h137 vki_xen_uint64_aligned_t total_pages;
138 vki_xen_uint64_aligned_t free_pages;
139 vki_xen_uint64_aligned_t scrub_pages;
153 vki_xen_uint64_aligned_t total_pages;
154 vki_xen_uint64_aligned_t free_pages;
155 vki_xen_uint64_aligned_t scrub_pages;
156 vki_xen_uint64_aligned_t outstanding_pages;
Dvki-xen-hvm.h67 vki_xen_uint64_aligned_t first_pfn; /* IN */
68 vki_xen_uint64_aligned_t nr; /* IN */
Dvki-xen-x86.h35 typedef struct { union { type *p; vki_xen_uint64_aligned_t q; }; } \
37 #define vki_xen_uint64_aligned_t vki_uint64_t __attribute__((aligned(8))) macro
43 #define vki_xen_uint64_aligned_t vki_uint64_t macro