Lines Matching refs:uint64_t
43 uint64_t system_time;
58 uint64_t nr_mfns;
88 uint64_t nr_mfns;
184 uint64_t max_store_size;
185 uint64_t remain_store_size;
186 uint64_t max_size;
192 uint64_t max_capsule_size;
199 uint64_t sg_list; /* machine address */
252 uint64_t addr; /* EFI_CONFIGURATION_TABLE */
262 uint64_t addr;
263 uint64_t size;
264 uint64_t attr;
290 uint64_t freq; /* New frequency (Hz). */
311 GUEST_HANDLE(uint64_t) idletime;
314 uint64_t now;
341 uint64_t address;
382 uint64_t address;
386 uint64_t core_frequency; /* megahertz */
387 uint64_t power; /* milliWatts */
388 uint64_t transition_latency; /* microseconds */
389 uint64_t bus_master_latency; /* microseconds */
390 uint64_t control; /* control value */
391 uint64_t status; /* success indicator */
396 uint64_t num_entries;
397 uint64_t revision;
398 uint64_t domain;
399 uint64_t coord_type;
400 uint64_t num_processors;
459 uint64_t spfn;
460 uint64_t epfn;
489 uint64_t address;