/seL4-refos-master/kernel/manual/parts/ |
H A D | io.tex | 149 PCI identifier of the device as the low 16 bits of the \texttt{badge} argument, and
|
H A D | ipc.tex | 44 % FIXME: a little too low-level, perhaps? 136 On 32-bit platforms, only the low 28 bits of the badge are available for use.
|
/seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | syscalls.h | 902 seL4_Word low, high; local 903 x86_sys_recv(seL4_SysX86DangerousRDMSR, msr, &unused0, &unused1, &low, MCS_COND(0, &high)); 909 return ((seL4_Uint64)low) | ((seL4_Uint64)high << 32);
|
/seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | syscalls.h | 902 seL4_Word low, high; local 903 x86_sys_recv(seL4_SysX86DangerousRDMSR, msr, &unused0, &unused1, &low, MCS_COND(0, &high)); 909 return ((seL4_Uint64)low) | ((seL4_Uint64)high << 32);
|
/seL4-refos-master/kernel/src/arch/x86/object/ |
H A D | vcpu.c | 61 * 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...] |
H A D | ioport.c | 313 void setIOPortMask(void *ioport_bitmap, uint16_t low, uint16_t high, bool_t set) argument 318 int low_word = low >> wordRadix; 320 int low_index = low & MASK(wordRadix);
|
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 179 uint32_t high, low; local 186 low = UINT32_MAX - dmt_get_ticks(dmt); 188 /* check after fetching low to see if we've missed a high bit */ 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 186 low = UINT32_MAX - dmt_get_ticks(dmt); 188 /* check after fetching low to see if we've missed a high bit */ 194 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 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/fvp/ |
H A D | sp804.c | 145 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/libs/libplatsupport/src/plat/am335x/ |
H A D | timer.c | 160 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/am335x/ |
H A D | timer.c | 160 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/kernel/include/arch/x86/arch/64/mode/ |
H A D | machine.h | 221 uint32_t low; local 236 [low] "=&a"(low) 242 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/kernel/include/arch/x86/arch/ |
H A D | machine.h | 102 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);
|
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/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 66 apic_write_reg(APIC_ICR1, low);
|
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/kernel/include/arch/x86/arch/32/mode/ |
H A D | machine.h | 83 uint32_t low; local 95 [low] "=&a"(low) 101 result.value = ((uint64_t)high << 32) | (uint64_t)low;
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tx2/ |
H A D | platform_init.c | 31 uint32_t low; member in struct:__anon199::__anon201
|
/seL4-refos-master/tools/elfloader/src/plat/tx2/ |
H A D | platform_init.c | 31 uint32_t low; member in struct:__anon215::__anon217
|
/seL4-refos-master/kernel/src/arch/x86/machine/ |
H A D | hardware.c | 90 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/pc99/ |
H A D | pit.c | 106 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 D | pit.c | 106 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;
|