Lines Matching refs:uint64_t
43 uint64_t system_time;
48 uint64_t secs;
51 uint64_t system_time;
74 uint64_t nr_mfns;
106 uint64_t nr_mfns;
210 uint64_t max_store_size;
211 uint64_t remain_store_size;
212 uint64_t max_size;
218 uint64_t max_capsule_size;
225 uint64_t sg_list; /* machine address */
278 uint64_t addr; /* EFI_CONFIGURATION_TABLE */
287 uint64_t addr;
288 uint64_t size;
289 uint64_t attr;
300 uint64_t address;
305 uint64_t address;
339 uint64_t freq; /* New frequency (Hz). */
364 uint64_t now;
393 uint64_t address;
436 uint64_t address;
440 uint64_t core_frequency; /* megahertz */
441 uint64_t power; /* milliWatts */
442 uint64_t transition_latency; /* microseconds */
443 uint64_t bus_master_latency; /* microseconds */
444 uint64_t control; /* control value */
445 uint64_t status; /* success indicator */
451 uint64_t num_entries;
452 uint64_t revision;
453 uint64_t domain;
454 uint64_t coord_type;
455 uint64_t num_processors;
536 uint64_t spfn;
537 uint64_t epfn;
585 uint64_t idx; /* IN: resource address to access */
586 uint64_t val; /* IN/OUT: resource value to set/get */
611 uint64_t address;