| /seL4-master/src/arch/x86/machine/ |
| A D | hardware.c | 90 uint32_t low, high; in disablePrefetchers() local
117 low = x86_rdmsr_low(IA32_PREFETCHER_MSR); in disablePrefetchers()
120 low |= IA32_PREFETCHER_MSR_L2; in disablePrefetchers()
121 low |= IA32_PREFETCHER_MSR_L2_ADJACENT; in disablePrefetchers()
122 low |= IA32_PREFETCHER_MSR_DCU; in disablePrefetchers()
123 low |= IA32_PREFETCHER_MSR_DCU_IP; in disablePrefetchers()
125 x86_wrmsr(IA32_PREFETCHER_MSR, ((uint64_t)high) << 32 | low); in disablePrefetchers()
|
| /seL4-master/include/arch/x86/arch/ |
| A D | benchmark.h | 14 uint32_t low, high; in timestamp() local
26 : "=r"(high), "=r"(low) in timestamp()
31 return ((uint64_t) high) << 32llu | (uint64_t) low; in timestamp()
|
| A D | machine.h | 102 uint32_t low, high; in x86_rdmsr() local
104 asm volatile("rdmsr" : "=a"(low), "=d"(high) : "c"(reg)); in x86_rdmsr()
105 value = ((uint64_t)high << 32) | (uint64_t)low; in x86_rdmsr()
121 static inline void x86_wrmsr_parts(const uint32_t reg, const uint32_t high, const uint32_t low) in x86_wrmsr_parts() argument
123 asm volatile("wrmsr" :: "a"(low), "d"(high), "c"(reg)); in x86_wrmsr_parts()
128 uint32_t low = (uint32_t)val; in x86_wrmsr() local
130 x86_wrmsr_parts(reg, high, low); in x86_wrmsr()
|
| /seL4-master/include/arch/x86/arch/32/mode/ |
| A D | machine.h | 83 uint32_t low; in x86_rdmsr_safe() local
95 [low] "=&a"(low) in x86_rdmsr_safe()
101 result.value = ((uint64_t)high << 32) | (uint64_t)low; in x86_rdmsr_safe()
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | x2apic.h | 62 static inline void apic_write_icr(word_t high, word_t low) in apic_write_icr() argument
64 uint64_t icr = ((uint64_t)high << 32) | low; in apic_write_icr()
|
| A D | xapic.h | 63 static inline void apic_write_icr(word_t high, word_t low) in apic_write_icr() argument
66 apic_write_reg(APIC_ICR1, low); in apic_write_icr()
|
| A D | apic.h | 23 void apic_write_icr(word_t high, word_t low);
|
| /seL4-master/include/arch/x86/arch/64/mode/ |
| A D | machine.h | 221 uint32_t low; in x86_rdmsr_safe() local
236 [low] "=&a"(low) in x86_rdmsr_safe()
242 result.value = ((uint64_t)high << 32) | (uint64_t)low; in x86_rdmsr_safe()
|
| /seL4-master/src/arch/x86/object/ |
| A D | vcpu.c | 179 static bool_t check_fixed_value(word_t val, word_t low, word_t high) in check_fixed_value() argument
199 not_low = ~low & ~(~low & ~val); in check_fixed_value()
393 original &= low; in applyFixedBits()
539 setIOPortMask(vcpu->io, low, high, false); in invokeEnableIOPort()
548 uint16_t low, high; in decodeEnableIOPort() local
569 low = getSyscallArg(0, buffer); in decodeEnableIOPort()
582 return invokeEnableIOPort(vcpu, ioSlot, ioCap, low, high); in decodeEnableIOPort()
587 setIOPortMask(vcpu->io, low, high, true); in invokeDisableIOPort()
595 uint16_t low, high; in decodeDisableIOPort() local
603 low = getSyscallArg(0, buffer); in decodeDisableIOPort()
[all …]
|
| A D | ioport.c | 311 void setIOPortMask(void *ioport_bitmap, uint16_t low, uint16_t high, bool_t set) in setIOPortMask() argument
316 int low_word = low >> wordRadix; in setIOPortMask()
318 int low_index = low & MASK(wordRadix); in setIOPortMask()
|
| /seL4-master/include/arch/x86/arch/object/ |
| A D | ioport.h | 16 void setIOPortMask(void *ioport_bitmap, uint16_t low, uint16_t high, bool_t set);
|
| /seL4-master/src/plat/zynqmp/ |
| A D | overlay-zynqmp.dts | 10 * in the low-level drivers
|
| A D | overlay-zynqmp32.dts | 10 * in the low-level drivers
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 902 seL4_Word low, high; in seL4_X86DangerousRDMSR() local
903 x86_sys_recv(seL4_SysX86DangerousRDMSR, msr, &unused0, &unused1, &low, MCS_COND(0, &high)); in seL4_X86DangerousRDMSR()
909 return ((seL4_Uint64)low) | ((seL4_Uint64)high << 32); in seL4_X86DangerousRDMSR()
|
| /seL4-master/tools/dts/ |
| A D | zynq7000.dts | 396 low-power-disable;
401 low-power-enable;
|
| A D | rockpro64.dts | 308 snps,reset-active-low;
2378 pcfg-output-low {
2379 output-low;
|
| A D | zynqmp.dts | 455 output-low;
|
| A D | omap3.dts | 2172 ti,low-power-stop;
2174 ti,low-power-bypass;
2405 ti,low-power-stop;
|
| A D | odroidc2.dts | 1030 snps,reset-active-low;
|
| A D | tx2.dts | 4506 nvidia,dsi-te-polarity-low = < 0x01 >;
5535 output-low;
5543 output-low;
5559 output-low;
5589 output-low;
5594 camera-control-output-low {
5596 output-low;
|
| A D | tqma8xqp1gb.dts | 2180 over-current-active-low;
|
| /seL4-master/manual/parts/ |
| 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.
|
| A D | io.tex | 149 PCI identifier of the device as the low 16 bits of the \texttt{badge} argument, and
|