Lines Matching defs:uint64_aligned_t
310 #ifndef uint64_aligned_t
311 #define uint64_aligned_t uint64_t
335 uint64_aligned_t buffer;
337 uint64_aligned_t gfn; /* IN: gfn of page being operated on */
376 uint64_aligned_t gfn; /* IN: gfn to nominate */
379 uint64_aligned_t handle; /* OUT: the handle */
382 uint64_aligned_t source_gfn; /* IN: the gfn of the source page */
383 uint64_aligned_t source_handle; /* IN: handle to the source page */
384 uint64_aligned_t client_gfn; /* IN: the client gfn */
385 uint64_aligned_t client_handle; /* IN: handle to the client page */
390 uint64_aligned_t gfn; /* IN: gfn to debug */
391 uint64_aligned_t mfn; /* IN: mfn to debug */