Searched refs:low (Results 1 - 25 of 34) sorted by relevance

12

/seL4-refos-master/kernel/include/arch/x86/arch/
H A Dbenchmark.h14 uint32_t low, high; local
26 : "=r"(high), "=r"(low)
31 return ((uint64_t) high) << 32llu | (uint64_t) low;
H A Dmachine.h102 uint32_t low, high; local
104 asm volatile("rdmsr" : "=a"(low), "=d"(high) : "c"(reg));
105 value = ((uint64_t)high << 32) | (uint64_t)low;
121 static inline void x86_wrmsr_parts(const uint32_t reg, const uint32_t high, const uint32_t low) argument
123 asm volatile("wrmsr" :: "a"(low), "d"(high), "c"(reg));
128 uint32_t low = (uint32_t)val; local
130 x86_wrmsr_parts(reg, high, low);
/seL4-refos-master/libs/libplatsupport/arch_include/x86/platsupport/arch/
H A Dtsc.h22 uint32_t high, low; local
26 : "=a" (low),
32 return (((uint64_t) high) << 32llu) + (uint64_t) low;
42 uint32_t high, low; local
54 : "=r" (high), "=r" (low)
59 return ((uint64_t) high) << 32llu | (uint64_t) low;
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/x86/platsupport/arch/
H A Dtsc.h22 uint32_t high, low; local
26 : "=a" (low),
32 return (((uint64_t) high) << 32llu) + (uint64_t) low;
42 uint32_t high, low; local
54 : "=r" (high), "=r" (low)
59 return ((uint64_t) high) << 32llu | (uint64_t) low;
/seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/
H A Dmeson_timer.c38 uint64_t low = timer->regs->timer_e; local
41 low = timer->regs->timer_e;
44 uint64_t ticks = (high << 32) | low;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dmeson_timer.c38 uint64_t low = timer->regs->timer_e; local
41 low = timer->regs->timer_e;
44 uint64_t ticks = (high << 32) | low;
/seL4-refos-master/kernel/src/arch/x86/machine/
H A Dhardware.c90 uint32_t low, high; local
117 low = x86_rdmsr_low(IA32_PREFETCHER_MSR);
120 low |= IA32_PREFETCHER_MSR_L2;
121 low |= IA32_PREFETCHER_MSR_L2_ADJACENT;
122 low |= IA32_PREFETCHER_MSR_DCU;
123 low |= IA32_PREFETCHER_MSR_DCU_IP;
125 x86_wrmsr(IA32_PREFETCHER_MSR, ((uint64_t)high) << 32 | low);
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/
H A Dsystem_timer.c43 uint64_t low = timer->regs->counter_low; local
46 /* get low again if high has ticked over. */
47 low = timer->regs->counter_low;
50 uint64_t ticks = (high << 32) | low;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dsystem_timer.c43 uint64_t low = timer->regs->counter_low; local
46 /* get low again if high has ticked over. */
47 low = timer->regs->counter_low;
50 uint64_t ticks = (high << 32) | low;
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/
H A Dxapic.h63 static inline void apic_write_icr(word_t high, word_t low) argument
66 apic_write_reg(APIC_ICR1, low);
H A Dx2apic.h62 static inline void apic_write_icr(word_t high, word_t low) argument
64 uint64_t icr = ((uint64_t)high << 32) | low;
H A Dapic.h23 void apic_write_icr(word_t high, word_t low);
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/
H A Dpit.c106 uint32_t low, high; local
108 /* Read the low 8 bits of the current timer value. */
109 error = ps_io_port_in(&pit->ops, PIT_IOPORT_CHANNEL(0), 1, &low);
120 /* Assemble the high and low 8 bits using (high << 8) + low, and then convert to nanoseconds. */
121 return ((high << 8) + low) * NS_IN_S / TICKS_PER_SECOND;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dpit.c106 uint32_t low, high; local
108 /* Read the low 8 bits of the current timer value. */
109 error = ps_io_port_in(&pit->ops, PIT_IOPORT_CHANNEL(0), 1, &low);
120 /* Assemble the high and low 8 bits using (high << 8) + low, and then convert to nanoseconds. */
121 return ((high << 8) + low) * NS_IN_S / TICKS_PER_SECOND;
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/
H A Dmachine.h83 uint32_t low; local
95 [low] "=&a"(low)
101 result.value = ((uint64_t)high << 32) | (uint64_t)low;
/seL4-refos-master/kernel/include/arch/x86/arch/object/
H A Dioport.h16 void setIOPortMask(void *ioport_bitmap, uint16_t low, uint16_t high, bool_t set);
/seL4-refos-master/libs/libplatsupport/src/plat/am335x/
H A Dtimer.c160 uint32_t high, low; local
166 low = dmt->hw->tcrr;
168 /* check after fetching low to see if we've missed a high bit */
174 uint64_t ticks = (((uint64_t)high << 32llu) | low);
/seL4-refos-master/libs/libplatsupport/src/plat/fvp/
H A Dsp804.c145 uint32_t high, low; local
152 low = UINT32_MAX - sp804_get_ticks(sp804);
154 /* check after fetching low to see if we've missed a high bit */
160 uint64_t ticks = (((uint64_t) high << 32llu) | low);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dtimer.c160 uint32_t high, low; local
166 low = dmt->hw->tcrr;
168 /* check after fetching low to see if we've missed a high bit */
174 uint64_t ticks = (((uint64_t)high << 32llu) | low);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dsp804.c145 uint32_t high, low; local
152 low = UINT32_MAX - sp804_get_ticks(sp804);
154 /* check after fetching low to see if we've missed a high bit */
160 uint64_t ticks = (((uint64_t) high << 32llu) | low);
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tx2/
H A Dplatform_init.c31 uint32_t low; member in struct:__anon199::__anon201
/seL4-refos-master/tools/elfloader/src/plat/tx2/
H A Dplatform_init.c31 uint32_t low; member in struct:__anon215::__anon217
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/
H A Dmachine.h221 uint32_t low; local
236 [low] "=&a"(low)
242 result.value = ((uint64_t)high << 32) | (uint64_t)low;
/seL4-refos-master/kernel/src/arch/x86/object/
H A Dvcpu.c61 * and low in various vmcs fields */
179 static bool_t check_fixed_value(word_t val, word_t low, word_t high) argument
198 * that should be low by first inverting */
199 not_low = ~low & ~(~low & ~val);
242 /* Read out the fixed high and low bits from the MSRs */
301 /* See if the hardware requires bits that require to be high to be low */
370 * be high that this core requires to be low. This can be checked with
390 static inline uint32_t applyFixedBits(uint32_t original, uint32_t high, uint32_t low) argument
393 original &= low;
528 invokeEnableIOPort(vcpu_t *vcpu, cte_t *slot, cap_t cap, uint16_t low, uint16_t high) argument
548 uint16_t low, high; local
585 invokeDisableIOPort(vcpu_t *vcpu, uint16_t low, uint16_t high) argument
595 uint16_t low, high; local
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dsel4bench.h22 uint32_t low, high; \
35 "=r"(low) \
39 (var) = (((uint64_t)high) << 32ull) | ((uint64_t)low); \

Completed in 180 milliseconds

12