/seL4-l4v-master/seL4/include/benchmark/ |
H A D | benchmark_utilisation_.h | 15 uint64_t utilisation; 16 uint64_t number_schedules; 17 uint64_t kernel_utilisation; 18 uint64_t number_kernel_entries;
|
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/kernel/ |
H A D | elf.h | 17 uint64_t e_entry; 18 uint64_t e_phoff; 19 uint64_t e_shoff; 32 uint64_t p_offset; 33 uint64_t p_vaddr; 34 uint64_t p_paddr; 35 uint64_t p_filesz; 36 uint64_t p_memsz; 37 uint64_t p_align;
|
/seL4-l4v-master/seL4/include/arch/x86/arch/ |
H A D | benchmark.h | 12 static inline uint64_t timestamp(void) 31 return ((uint64_t) high) << 32llu | (uint64_t) low;
|
H A D | types.h | 41 typedef uint64_t timestamp_t;
|
/seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/ |
H A D | types.h | 12 typedef uint64_t timestamp_t;
|
/seL4-l4v-master/seL4/include/32/mode/ |
H A D | util.h | 13 static inline CONST uint64_t div64(uint64_t numerator, uint32_t denominator) 15 uint64_t quotient = 0llu; 16 uint64_t long_denom = (uint64_t) denominator; 26 uint64_t c = ((uint64_t) 32u + clzl(denominator)) - clzll(numerator);
|
/seL4-l4v-master/seL4/include/64/mode/ |
H A D | util.h | 13 static inline CONST uint64_t div64(uint64_t numerator, uint32_t denominator)
|
/seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
H A D | jiraver253.c | 8 typedef unsigned long int uint64_t; typedef
|
/seL4-l4v-master/seL4/include/arch/riscv/arch/32/mode/ |
H A D | hardware.h | 70 static inline uint64_t riscv_read_time(void) 86 return ((uint64_t)((uint64_t) nH1 << 32)) | (nL); 89 static inline uint64_t riscv_read_cycle(void) 105 return ((uint64_t)((uint64_t) nH1 << 32)) | (nL);
|
/seL4-l4v-master/seL4/include/arch/riscv/arch/64/mode/ |
H A D | hardware.h | 118 static inline uint64_t riscv_read_time(void) 120 uint64_t n; 127 static inline uint64_t riscv_read_cycle(void) 129 uint64_t n;
|
/seL4-l4v-master/seL4/src/drivers/timer/ |
H A D | generic_timer.c | 53 static inline uint64_t read_cntpct(void) 55 uint64_t val; 72 uint64_t cval = get_cntv_cval_64(); 73 uint64_t cntvoff = get_cntv_off_64(); 94 uint64_t cval = ((uint64_t)cval_high << 32) | (uint64_t) cval_low; 100 uint64_t pcount_delta; 101 uint64_t current_cntpct = read_cntpct(); 106 uint64_t offse [all...] |
/seL4-l4v-master/seL4/include/ |
H A D | stdint.h | 14 typedef unsigned long long uint64_t; typedef
|
/seL4-l4v-master/seL4/include/arch/x86/arch/kernel/ |
H A D | multiboot2.h | 24 uint64_t addr; 25 uint64_t size; 37 uint64_t addr;
|
/seL4-l4v-master/seL4/include/arch/x86/arch/machine/ |
H A D | fpu.h | 37 uint64_t xfeatures; 38 uint64_t xcomp_bv; /* state-component bitmap */ 39 uint64_t reserved[6]; 51 uint64_t features = config_ternary(CONFIG_XSAVE, CONFIG_XSAVE_FEATURE_SET, 1); 57 uint64_t features = config_ternary(CONFIG_XSAVE, CONFIG_XSAVE_FEATURE_SET, 1);
|
H A D | cpu_registers.h | 36 static inline void xsetbv(uint32_t reg, uint64_t value) 41 static inline void write_xcr0(uint64_t value)
|
/seL4-l4v-master/seL4/include/arch/arm/armv/armv7ve/armv/ |
H A D | vcpu.h | 315 static inline void set_cntv_cval_64(uint64_t val) 322 static inline uint64_t get_cntv_cval_64(void) 324 uint64_t ret = 0; 331 uint64_t ret = get_cntv_cval_64(); 332 uint64_t cval_high = (uint64_t) val << 32 ; 333 uint64_t cval_low = (ret << 32) >> 32; 339 uint64_t ret = get_cntv_cval_64(); 345 uint64_t ret = get_cntv_cval_64(); 346 uint64_t cval_hig [all...] |
/seL4-l4v-master/seL4/include/arch/arm/armv/armv7-a/armv/ |
H A D | vcpu.h | 315 static inline void set_cntv_cval_64(uint64_t val) 322 static inline uint64_t get_cntv_cval_64(void) 324 uint64_t ret = 0; 331 uint64_t ret = get_cntv_cval_64(); 332 uint64_t cval_high = (uint64_t) val << 32 ; 333 uint64_t cval_low = (ret << 32) >> 32; 339 uint64_t ret = get_cntv_cval_64(); 345 uint64_t ret = get_cntv_cval_64(); 346 uint64_t cval_hig [all...] |
/seL4-l4v-master/seL4/include/arch/arm/armv/armv8-a/32/armv/ |
H A D | vcpu.h | 315 static inline void set_cntv_cval_64(uint64_t val) 322 static inline uint64_t get_cntv_cval_64(void) 324 uint64_t ret = 0; 331 uint64_t ret = get_cntv_cval_64(); 332 uint64_t cval_high = (uint64_t) val << 32 ; 333 uint64_t cval_low = (ret << 32) >> 32; 339 uint64_t ret = get_cntv_cval_64(); 345 uint64_t ret = get_cntv_cval_64(); 346 uint64_t cval_hig [all...] |
/seL4-l4v-master/seL4/include/drivers/timer/ |
H A D | exynos4412-mct.h | 29 return ((((uint64_t) hi) << 32llu) | (uint64_t) lo);
|
/seL4-l4v-master/l4v/misc/autostop/ |
H A D | killbig.c | 85 uint64_t max_usage_mb = *(uint64_t *)data; 128 uint64_t max_mem_usage; 135 max_mem_usage = (uint64_t)atoll(argv[1]);
|
/seL4-l4v-master/l4v/camkes/glue-proofs/ |
H A D | DataIn.c | 43 uint64_t typedef 77 uint64_t 118 uint64_t
|
/seL4-l4v-master/seL4/src/arch/x86/machine/ |
H A D | fpu.c | 37 uint64_t xsave_features; 39 uint64_t desired_features = config_ternary(CONFIG_XSAVE, CONFIG_XSAVE_FEATURE_SET, 1); 53 xsave_features = ((uint64_t)x86_cpuid_edx(0x0d, 0x0) << 32) | x86_cpuid_eax(0x0d, 0x0);
|
/seL4-l4v-master/seL4/src/plat/pc99/machine/ |
H A D | hardware.c | 53 uint64_t old_ticks = x86_rdtsc(); 58 uint64_t new_ticks = x86_rdtsc(); 60 uint64_t diff = new_ticks - old_ticks;
|
/seL4-l4v-master/seL4/include/arch/arm/armv/armv6/armv/ |
H A D | machine.h | 49 uint64_t _v = v; \
|
/seL4-l4v-master/seL4/libsel4/include/sel4/ |
H A D | benchmark_track_types.h | 62 uint64_t start_time;
|