Searched refs:high (Results 1 - 25 of 41) 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;
/seL4-refos-master/libs/libplatsupport/arch_include/x86/platsupport/arch/
H A Dtsc.h22 uint32_t high, low; local
27 "=d" (high)
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
27 "=d" (high)
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.c39 uint64_t high = timer->regs->timer_e_hi; local
40 if (high != initial_high) {
44 uint64_t ticks = (high << 32) | low;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dmeson_timer.c39 uint64_t high = timer->regs->timer_e_hi; local
40 if (high != initial_high) {
44 uint64_t ticks = (high << 32) | low;
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/
H A Dsystem_timer.c44 uint64_t high = timer->regs->counter_high; local
45 if (high != initial_high) {
46 /* get low again if high has ticked over. */
50 uint64_t ticks = (high << 32) | low;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dsystem_timer.c44 uint64_t high = timer->regs->counter_high; local
45 if (high != initial_high) {
46 /* get low again if high has ticked over. */
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
65 apic_write_reg(APIC_ICR2, high);
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/am335x/
H A Dtimer.c160 uint32_t high, low; local
165 high = dmt->time_h;
168 /* check after fetching low to see if we've missed a high bit */
170 high += 1;
171 assert(high != 0);
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
151 high = sp804->time_h;
154 /* check after fetching low to see if we've missed a high bit */
156 high += 1;
157 assert(high != 0);
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
165 high = dmt->time_h;
168 /* check after fetching low to see if we've missed a high bit */
170 high += 1;
171 assert(high != 0);
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
151 high = sp804->time_h;
154 /* check after fetching low to see if we've missed a high bit */
156 high += 1;
157 assert(high != 0);
160 uint64_t ticks = (((uint64_t) high << 32llu) | low);
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/
H A Dpit.c106 uint32_t low, high; local
114 /* Read the high 8 bits of the current timer value. */
115 error = ps_io_port_in(&pit->ops, PIT_IOPORT_CHANNEL(0), 1, &high);
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
114 /* Read the high 8 bits of the current timer value. */
115 error = ps_io_port_in(&pit->ops, PIT_IOPORT_CHANNEL(0), 1, &high);
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.h84 uint32_t high; local
94 [high] "=&d"(high),
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/hikey/
H A Ddmt.c179 uint32_t high, low; local
185 high = dmt->time_h;
188 /* check after fetching low to see if we've missed a high bit */
190 high += 1;
191 assert(high != 0);
194 uint64_t ticks = (((uint64_t) high << 32llu) | low);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Ddmt.c179 uint32_t high, low; local
185 high = dmt->time_h;
188 /* check after fetching low to see if we've missed a high bit */
190 high += 1;
191 assert(high != 0);
194 uint64_t ticks = (((uint64_t) high << 32llu) | low);
/seL4-refos-master/kernel/src/arch/x86/machine/
H A Dhardware.c90 uint32_t low, high; local
118 high = x86_rdmsr_high(IA32_PREFETCHER_MSR);
125 x86_wrmsr(IA32_PREFETCHER_MSR, ((uint64_t)high) << 32 | low);
/seL4-refos-master/libs/libmuslc/src/stdlib/
H A Dqsort.c158 unsigned char *head, *high; local
166 high = head + size - width;
171 while(head < high) {
177 if(lp[pshift - 1] >= high - head) {
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tx2/
H A Dplatform_init.c32 uint32_t high; member in struct:__anon199::__anon201
/seL4-refos-master/tools/elfloader/src/plat/tx2/
H A Dplatform_init.c32 uint32_t high; member in struct:__anon215::__anon217
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/
H A Dmachine.h222 uint32_t high; local
235 [high] "=&d"(high),
242 result.value = ((uint64_t)high << 32) | (uint64_t)low;

Completed in 218 milliseconds

12