Lines Matching refs:__u64
78 __u64 guest_phys_addr;
79 __u64 memory_size; /* bytes */
101 __u64 guest_phys_addr;
102 __u64 memory_size;
103 __u64 userspace_addr;
165 __u64 flags;
166 __u64 dev_addr;
167 __u64 dev_reg_size;
168 __u64 attr_addr;
169 __u64 attr_size;
243 __u64 phys_addr;
252 __u64 size;
263 __u64 hardware_entry_failure_reason;
274 __u64 fault_gpa;
278 __u64 reserved[30];
283 __u64 args[8]; /* in-out */
292 __u64 data[16];
310 __u64 data[16];
322 __u64 cap;
323 __u64 args[5];
331 __u64 id;
332 __u64 addr;
381 __u64 datamatch;
383 __u64 addr;
400 __u64 dtb_addr;
401 __u64 dtb_size;