/seL4-test-master/kernel/include/arch/x86/arch/ |
H A D | benchmark.h | 14 uint32_t low, high; local
|
H A D | machine.h | 102 uint32_t low, high; local 121 static inline void x86_wrmsr_parts(const uint32_t reg, const uint32_t high, const uint32_t low) argument 129 uint32_t high = (uint32_t)(val >> 32); local
|
/seL4-test-master/projects/util_libs/libplatsupport/arch_include/x86/platsupport/arch/ |
H A D | tsc.h | 22 uint32_t high, low; local 42 uint32_t high, low; local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | system_timer.c | 44 uint64_t high = timer->regs->counter_high; local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | meson_timer.c | 39 uint64_t high = timer->regs->timer_e_hi; local
|
/seL4-test-master/kernel/src/arch/x86/machine/ |
H A D | hardware.c | 90 uint32_t low, high; local
|
/seL4-test-master/projects/musllibc/src/stdlib/ |
H A D | qsort.c | 158 unsigned char *head, *high; local
|
/seL4-test-master/tools/seL4/elfloader-tool/src/plat/tx2/ |
H A D | platform_init.c | 32 uint32_t high; member in struct:__anon133::__anon135
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | pit.c | 106 uint32_t low, high; local
|
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/ |
H A D | machine.h | 84 uint32_t high; local
|
/seL4-test-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
|
H A D | x2apic.h | 62 static inline void apic_write_icr(word_t high, word_t low) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 179 uint32_t high, low; local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | timer.c | 160 uint32_t high, low; local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | sp804.c | 145 uint32_t high, low; local
|
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | ioport.c | 313 void setIOPortMask(void *ioport_bitmap, uint16_t low, uint16_t high, bool_t set) argument
|
H A D | vcpu.c | 179 static bool_t check_fixed_value(word_t val, word_t low, word_t high) argument 390 applyFixedBits(uint32_t original, uint32_t high, uint32_t low) argument 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-test-master/kernel/include/arch/x86/arch/64/mode/ |
H A D | machine.h | 222 uint32_t high; local
|
/seL4-test-master/tools/nanopb/ |
H A D | pb_encode.c | 526 static bool checkreturn pb_encode_varint_32(pb_ostream_t *stream, uint32_t low, uint32_t high) argument
|
/seL4-test-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | syscalls.h | 902 seL4_Word low, high; local
|