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