Lines Matching refs:uint64_t
43 uint64_t system_time;
49 uint64_t secs;
52 uint64_t system_time;
67 uint64_t nr_mfns;
97 uint64_t nr_mfns;
193 uint64_t max_store_size;
194 uint64_t remain_store_size;
195 uint64_t max_size;
201 uint64_t max_capsule_size;
208 uint64_t sg_list; /* machine address */
261 uint64_t addr; /* EFI_CONFIGURATION_TABLE */
271 uint64_t addr;
272 uint64_t size;
273 uint64_t attr;
299 uint64_t freq; /* New frequency (Hz). */
320 GUEST_HANDLE(uint64_t) idletime;
323 uint64_t now;
350 uint64_t address;
391 uint64_t address;
395 uint64_t core_frequency; /* megahertz */
396 uint64_t power; /* milliWatts */
397 uint64_t transition_latency; /* microseconds */
398 uint64_t bus_master_latency; /* microseconds */
399 uint64_t control; /* control value */
400 uint64_t status; /* success indicator */
405 uint64_t num_entries;
406 uint64_t revision;
407 uint64_t domain;
408 uint64_t coord_type;
409 uint64_t num_processors;
468 uint64_t spfn;
469 uint64_t epfn;
498 uint64_t address;