Lines Matching refs:low
61 * and low in various vmcs fields */
179 static bool_t check_fixed_value(word_t val, word_t low, word_t high)
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)
393 original &= low;
528 static exception_t invokeEnableIOPort(vcpu_t *vcpu, cte_t *slot, cap_t cap, uint16_t low, uint16_t high)
539 setIOPortMask(vcpu->io, low, high, false);
548 uint16_t low, high;
569 low = getSyscallArg(0, buffer);
572 if (low < cap_io_port_cap_get_capIOPortFirstPort(ioCap) || high > cap_io_port_cap_get_capIOPortLastPort(ioCap)) {
582 return invokeEnableIOPort(vcpu, ioSlot, ioCap, low, high);
585 static exception_t invokeDisableIOPort(vcpu_t *vcpu, uint16_t low, uint16_t high)
587 setIOPortMask(vcpu->io, low, high, true);
595 uint16_t low, high;
603 low = getSyscallArg(0, buffer);
608 return invokeDisableIOPort(vcpu, low, high);
1032 /* Set sysenter MSRs to writeable and readable. These are all low msrs */
1222 * the low 4 bits