Searched refs:uint64_t (Results 1 - 25 of 82) sorted by relevance

1234

/seL4-l4v-master/seL4/include/benchmark/
H A Dbenchmark_utilisation_.h15 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 Delf.h17 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 Dbenchmark.h12 static inline uint64_t timestamp(void)
31 return ((uint64_t) high) << 32llu | (uint64_t) low;
H A Dtypes.h41 typedef uint64_t timestamp_t;
/seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/
H A Dtypes.h12 typedef uint64_t timestamp_t;
/seL4-l4v-master/seL4/include/32/mode/
H A Dutil.h13 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 Dutil.h13 static inline CONST uint64_t div64(uint64_t numerator, uint32_t denominator)
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver253.c8 typedef unsigned long int uint64_t; typedef
/seL4-l4v-master/seL4/include/arch/riscv/arch/32/mode/
H A Dhardware.h70 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 Dhardware.h118 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 Dgeneric_timer.c53 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 Dstdint.h14 typedef unsigned long long uint64_t; typedef
/seL4-l4v-master/seL4/include/arch/x86/arch/kernel/
H A Dmultiboot2.h24 uint64_t addr;
25 uint64_t size;
37 uint64_t addr;
/seL4-l4v-master/seL4/include/arch/x86/arch/machine/
H A Dfpu.h37 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 Dcpu_registers.h36 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 Dvcpu.h315 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 Dvcpu.h315 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 Dvcpu.h315 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 Dexynos4412-mct.h29 return ((((uint64_t) hi) << 32llu) | (uint64_t) lo);
/seL4-l4v-master/l4v/misc/autostop/
H A Dkillbig.c85 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 DDataIn.c43 uint64_t typedef
77 uint64_t
118 uint64_t
/seL4-l4v-master/seL4/src/arch/x86/machine/
H A Dfpu.c37 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 Dhardware.c53 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 Dmachine.h49 uint64_t _v = v; \
/seL4-l4v-master/seL4/libsel4/include/sel4/
H A Dbenchmark_track_types.h62 uint64_t start_time;

Completed in 166 milliseconds

1234