Lines Matching refs:uint64_t
26 uint64_t system_time;
32 uint64_t secs;
35 uint64_t system_time;
50 uint64_t nr_mfns;
80 uint64_t nr_mfns;
176 uint64_t max_store_size;
177 uint64_t remain_store_size;
178 uint64_t max_size;
184 uint64_t max_capsule_size;
191 uint64_t sg_list; /* machine address */
244 uint64_t addr; /* EFI_CONFIGURATION_TABLE */
254 uint64_t addr;
255 uint64_t size;
256 uint64_t attr;
282 uint64_t freq; /* New frequency (Hz). */
303 GUEST_HANDLE(uint64_t) idletime;
306 uint64_t now;
333 uint64_t address;
374 uint64_t address;
378 uint64_t core_frequency; /* megahertz */
379 uint64_t power; /* milliWatts */
380 uint64_t transition_latency; /* microseconds */
381 uint64_t bus_master_latency; /* microseconds */
382 uint64_t control; /* control value */
383 uint64_t status; /* success indicator */
388 uint64_t num_entries;
389 uint64_t revision;
390 uint64_t domain;
391 uint64_t coord_type;
392 uint64_t num_processors;
451 uint64_t spfn;
452 uint64_t epfn;
481 uint64_t address;