/seL4-master/include/arch/x86/arch/64/mode/kernel/ |
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-master/src/drivers/timer/ |
A D | generic_timer.c | 57 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 D | exynos4412-mct.c | 42 uint64_t comparator_value = ((((uint64_t) mct->global.cnth) << 32llu) in initTimer()
|
/seL4-master/include/32/mode/ |
A D | util.h | 13 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 D | vcpu.h | 324 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 D | vcpu.h | 324 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 D | hardware.h | 70 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 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-master/include/arch/riscv/arch/64/mode/ |
A D | hardware.h | 118 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 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); in xsave_features_high() 57 uint64_t features = config_ternary(CONFIG_XSAVE, CONFIG_XSAVE_FEATURE_SET, 1); in xsave_features_low()
|
A D | cpu_registers.h | 36 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 D | benchmark.h | 12 static inline uint64_t timestamp(void) in timestamp() 31 return ((uint64_t) high) << 32llu | (uint64_t) low; in timestamp()
|
A D | machine.h | 100 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 D | multiboot2.h | 24 uint64_t addr; 25 uint64_t size; 37 uint64_t addr;
|
A D | x2apic.h | 64 uint64_t icr = ((uint64_t)high << 32) | low; in apic_write_icr()
|
A D | multiboot.h | 25 uint64_t base_addr; 26 uint64_t length;
|
/seL4-master/include/arch/arm/arch/machine/ |
A D | gic_v3.h | 173 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 D | util.h | 13 static inline CONST uint64_t div64(uint64_t numerator, uint32_t denominator) in div64()
|
/seL4-master/src/arch/x86/machine/ |
A D | fpu.c | 37 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 D | hardware.c | 19 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 D | hardware.c | 53 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 D | util.c | 246 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 D | machine.h | 135 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 D | exynos4412-mct.h | 29 return ((((uint64_t) hi) << 32llu) | (uint64_t) lo); in getCurrentTime()
|
/seL4-master/src/arch/arm/machine/ |
A D | gic_v3.c | 68 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()
|