Searched refs:low (Results 1 - 25 of 34) sorted by last modified time

12

/seL4-refos-master/kernel/manual/parts/
H A Dio.tex149 PCI identifier of the device as the low 16 bits of the \texttt{badge} argument, and
H A Dipc.tex44 % 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 Dsyscalls.h902 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 Dsyscalls.h902 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 Dvcpu.c61 * 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 Dioport.c313 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 Ddmt.c179 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 Ddmt.c179 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 Dsp804.c145 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 Dsp804.c145 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 Dtimer.c160 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 Dtimer.c160 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 Dmachine.h221 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 Dioport.h16 void setIOPortMask(void *ioport_bitmap, uint16_t low, uint16_t high, bool_t set);
/seL4-refos-master/kernel/include/arch/x86/arch/
H A Dmachine.h102 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 Dbenchmark.h14 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 Dxapic.h63 static inline void apic_write_icr(word_t high, word_t low) argument
66 apic_write_reg(APIC_ICR1, low);
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/kernel/include/arch/x86/arch/32/mode/
H A Dmachine.h83 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 Dplatform_init.c31 uint32_t low; member in struct:__anon199::__anon201
/seL4-refos-master/tools/elfloader/src/plat/tx2/
H A Dplatform_init.c31 uint32_t low; member in struct:__anon215::__anon217
/seL4-refos-master/kernel/src/arch/x86/machine/
H A Dhardware.c90 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 Dpit.c106 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 Dpit.c106 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;

Completed in 362 milliseconds

12