Searched defs:vki_xen_uint64_aligned_t (Results 1 – 1 of 1) sorted by relevance
37 #define vki_xen_uint64_aligned_t vki_uint64_t __attribute__((aligned(8))) macro43 #define vki_xen_uint64_aligned_t vki_uint64_t macro