Home
last modified time | relevance | path

Searched refs:uint64_t (Results 1 – 25 of 69) sorted by relevance

123

/seL4-master/include/arch/x86/arch/64/mode/kernel/
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-master/src/drivers/timer/
A Dgeneric_timer.c57 static inline uint64_t read_cntpct(void) in read_cntpct()
59 uint64_t val; in read_cntpct()
76 uint64_t cval = get_cntv_cval_64(); in save_virt_timer()
77 uint64_t cntvoff = get_cntv_off_64(); in save_virt_timer()
98 uint64_t cval = ((uint64_t)cval_high << 32) | (uint64_t) cval_low; in restore_virt_timer()
104 uint64_t pcount_delta; in restore_virt_timer()
105 uint64_t current_cntpct = read_cntpct(); in restore_virt_timer()
110 uint64_t offset = vcpu_read_reg(vcpu, seL4_VCPUReg_CNTVOFF); in restore_virt_timer()
118 uint64_t offset = ((uint64_t)offset_high << 32) | (uint64_t) offset_low; in restore_virt_timer()
A Dexynos4412-mct.c42 uint64_t comparator_value = ((((uint64_t) mct->global.cnth) << 32llu) in initTimer()
/seL4-master/include/32/mode/
A Dutil.h13 static inline CONST uint64_t div64(uint64_t numerator, uint32_t denominator) in div64()
15 uint64_t quotient = 0llu; in div64()
16 uint64_t long_denom = (uint64_t) denominator; in div64()
26 uint64_t c = ((uint64_t) 32u + clzl(denominator)) - clzll(numerator); in div64()
/seL4-master/include/arch/arm/armv/armv7-a/armv/
A Dvcpu.h324 uint64_t ret = 0; in get_cntv_cval_64()
331 uint64_t ret = get_cntv_cval_64(); in set_cntv_cval_high()
332 uint64_t cval_high = (uint64_t) val << 32 ; in set_cntv_cval_high()
347 uint64_t cval_low = (uint64_t) val; in set_cntv_cval_low()
368 uint64_t ret = 0; in get_cntv_off_64()
375 uint64_t ret = get_cntv_off_64(); in set_cntv_off_high()
376 uint64_t cv_off_high = (uint64_t) val << 32 ; in set_cntv_off_high()
383 uint64_t ret = get_cntv_off_64(); in get_cntv_off_high()
389 uint64_t ret = get_cntv_off_64(); in set_cntv_off_low()
391 uint64_t cv_off_low = (uint64_t) val; in set_cntv_off_low()
[all …]
/seL4-master/include/arch/arm/armv/armv8-a/32/armv/
A Dvcpu.h324 uint64_t ret = 0; in get_cntv_cval_64()
331 uint64_t ret = get_cntv_cval_64(); in set_cntv_cval_high()
332 uint64_t cval_high = (uint64_t) val << 32 ; in set_cntv_cval_high()
347 uint64_t cval_low = (uint64_t) val; in set_cntv_cval_low()
368 uint64_t ret = 0; in get_cntv_off_64()
375 uint64_t ret = get_cntv_off_64(); in set_cntv_off_high()
376 uint64_t cv_off_high = (uint64_t) val << 32 ; in set_cntv_off_high()
383 uint64_t ret = get_cntv_off_64(); in get_cntv_off_high()
389 uint64_t ret = get_cntv_off_64(); in set_cntv_off_low()
391 uint64_t cv_off_low = (uint64_t) val; in set_cntv_off_low()
[all …]
/seL4-master/include/arch/riscv/arch/32/mode/
A Dhardware.h70 static inline uint64_t riscv_read_time(void) in riscv_read_time()
86 return ((uint64_t)((uint64_t) nH1 << 32)) | (nL); in riscv_read_time()
89 static inline uint64_t riscv_read_cycle(void) in riscv_read_cycle()
105 return ((uint64_t)((uint64_t) nH1 << 32)) | (nL); in riscv_read_cycle()
/seL4-master/include/benchmark/
A Dbenchmark_utilisation_.h15 uint64_t utilisation;
16 uint64_t number_schedules;
17 uint64_t kernel_utilisation;
18 uint64_t number_kernel_entries;
/seL4-master/include/arch/riscv/arch/64/mode/
A Dhardware.h118 static inline uint64_t riscv_read_time(void) in riscv_read_time()
120 uint64_t n; in riscv_read_time()
127 static inline uint64_t riscv_read_cycle(void) in riscv_read_cycle()
129 uint64_t n; in riscv_read_cycle()
/seL4-master/include/arch/x86/arch/machine/
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); in xsave_features_high()
57 uint64_t features = config_ternary(CONFIG_XSAVE, CONFIG_XSAVE_FEATURE_SET, 1); in xsave_features_low()
A Dcpu_registers.h36 static inline void xsetbv(uint32_t reg, uint64_t value) in xsetbv()
41 static inline void write_xcr0(uint64_t value) in write_xcr0()
/seL4-master/include/arch/x86/arch/
A Dbenchmark.h12 static inline uint64_t timestamp(void) in timestamp()
31 return ((uint64_t) high) << 32llu | (uint64_t) low; in timestamp()
A Dmachine.h100 static uint64_t x86_rdmsr(const uint32_t reg) in x86_rdmsr()
103 uint64_t value; in x86_rdmsr()
105 value = ((uint64_t)high << 32) | (uint64_t)low; in x86_rdmsr()
126 static inline void x86_wrmsr(const uint32_t reg, const uint64_t val) in x86_wrmsr()
186 static inline uint64_t x86_rdtsc(void) in x86_rdtsc()
193 return ((uint64_t) hi) << 32llu | (uint64_t) lo; in x86_rdtsc()
/seL4-master/include/arch/x86/arch/kernel/
A Dmultiboot2.h24 uint64_t addr;
25 uint64_t size;
37 uint64_t addr;
A Dx2apic.h64 uint64_t icr = ((uint64_t)high << 32) | low; in apic_write_icr()
A Dmultiboot.h25 uint64_t base_addr;
26 uint64_t length;
/seL4-master/include/arch/arm/arch/machine/
A Dgic_v3.h173 uint64_t iroutern[960]; /* [0x6100, 0x7F00) */
183 uint64_t typer; /* 0x0008 */
187 uint64_t setlpir; /* 0x0040 */
188 uint64_t clrlpir; /* 0x0048 */
190 uint64_t propbaser; /* 0x0070 */
191 uint64_t pendbaser; /* 0x0078 */
193 uint64_t invlpir; /* 0x00a0 */
195 uint64_t invallr; /* 0x00b0 */
428 uint64_t reg = 0; in get_gic_vcpu_ctrl_lr()
487 uint64_t reg = lr.words[0]; in set_gic_vcpu_ctrl_lr()
/seL4-master/include/64/mode/
A Dutil.h13 static inline CONST uint64_t div64(uint64_t numerator, uint32_t denominator) in div64()
/seL4-master/src/arch/x86/machine/
A Dfpu.c37 uint64_t xsave_features; in Arch_initFpu()
39 uint64_t desired_features = config_ternary(CONFIG_XSAVE, CONFIG_XSAVE_FEATURE_SET, 1); in Arch_initFpu()
53 xsave_features = ((uint64_t)x86_cpuid_edx(0x0d, 0x0) << 32) | x86_cpuid_eax(0x0d, 0x0); in Arch_initFpu()
A Dhardware.c19 x86_wrmsr(IA32_SYSENTER_CS_MSR, (uint64_t)(word_t)SEL_CS_0); in init_sysenter_msrs()
20 x86_wrmsr(IA32_SYSENTER_EIP_MSR, (uint64_t)(word_t)&handle_syscall); in init_sysenter_msrs()
25 …x86_wrmsr(IA32_SYSENTER_ESP_MSR, (uint64_t)(word_t)((char *)&x86KSGlobalState[CURRENT_CPU_INDEX()]… in init_sysenter_msrs()
125 x86_wrmsr(IA32_PREFETCHER_MSR, ((uint64_t)high) << 32 | low); in disablePrefetchers()
/seL4-master/src/plat/pc99/machine/
A Dhardware.c53 uint64_t old_ticks = x86_rdtsc(); in measure_tsc_khz()
58 uint64_t new_ticks = x86_rdtsc(); in measure_tsc_khz()
60 uint64_t diff = new_ticks - old_ticks; in measure_tsc_khz()
/seL4-master/src/
A Dutil.c246 static UNUSED CONST inline unsigned clz64(uint64_t x) in clz64()
249 uint64_t mask = UINT64_MAX; in clz64()
365 static UNUSED CONST inline unsigned ctz64(uint64_t x) in ctz64()
368 uint64_t mask = UINT64_MAX; in ctz64()
429 CONST int __clzdi2(uint64_t x) in __clzdi2()
443 CONST int __ctzdi2(uint64_t x) in __ctzdi2()
/seL4-master/include/arch/x86/arch/64/mode/
A Dmachine.h135 uint64_t asid;
136 uint64_t addr;
149 desc.addr = (uint64_t)vaddr; in invalidateLocalPCID()
242 result.value = ((uint64_t)high << 32) | (uint64_t)low; in x86_rdmsr_safe()
/seL4-master/include/drivers/timer/
A Dexynos4412-mct.h29 return ((((uint64_t) hi) << 32llu) | (uint64_t) lo); in getCurrentTime()
/seL4-master/src/arch/arm/machine/
A Dgic_v3.c68 static inline uint64_t mpidr_to_gic_affinity(void) in mpidr_to_gic_affinity()
71 uint64_t affinity = 0; in mpidr_to_gic_affinity()
72 affinity = (uint64_t)MPIDR_AFF3(mpidr) << 32 | MPIDR_AFF2(mpidr) << 16 | in mpidr_to_gic_affinity()
141 uint64_t affinity; in dist_init()
193 uint64_t typer = ((struct gic_rdist_map *)((word_t)gicr_base + offset))->typer; in gicr_locate_interface()
349 uint64_t sgi1r_base = ((word_t) IRQT_TO_IRQ(irq)) << ICC_SGI1R_INTID_SHIFT; in ipi_send_target()

Completed in 29 milliseconds

123