/seL4-refos-master/kernel/include/arch/x86/arch/ |
H A D | benchmark.h | 14 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 D | tsc.h | 22 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 D | tsc.h | 22 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 D | meson_timer.c | 39 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 D | meson_timer.c | 39 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 D | system_timer.c | 44 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 D | system_timer.c | 44 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 D | xapic.h | 63 static inline void apic_write_icr(word_t high, word_t low) argument 65 apic_write_reg(APIC_ICR2, high);
|
H A D | x2apic.h | 62 static inline void apic_write_icr(word_t high, word_t low) argument 64 uint64_t icr = ((uint64_t)high << 32) | low;
|
H A D | apic.h | 23 void apic_write_icr(word_t high, word_t low);
|
/seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
H A D | timer.c | 160 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 D | sp804.c | 145 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 D | timer.c | 160 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 D | sp804.c | 145 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 D | pit.c | 106 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 D | pit.c | 106 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 D | machine.h | 84 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 D | ioport.h | 16 void setIOPortMask(void *ioport_bitmap, uint16_t low, uint16_t high, bool_t set);
|
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 179 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 D | dmt.c | 179 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 D | hardware.c | 90 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 D | qsort.c | 158 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 D | platform_init.c | 32 uint32_t high; member in struct:__anon199::__anon201
|
/seL4-refos-master/tools/elfloader/src/plat/tx2/ |
H A D | platform_init.c | 32 uint32_t high; member in struct:__anon215::__anon217
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/ |
H A D | machine.h | 222 uint32_t high; local 235 [high] "=&d"(high), 242 result.value = ((uint64_t)high << 32) | (uint64_t)low;
|