x86/object/vcpu.c

60 /* Cache the values that we calculated for bits that need to be set high
179 static bool_t check_fixed_value(word_t val, word_t low, word_t high)
183     /* check if any bits that should be high, are not
184      * high & val represents the set of bits that are
185      * correctly set to high. if this is equal to high
187      * bits were not high we can invert and mask with
188      * high again. Now if this is 0 everythins is fine,
191     not_high = high & ~(high & 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 */
324     /* Force the bits we require to be high */
367      * requires to be high, that the BSP did not require to be high. This can
368      * be checked with 'local_high & high == local_high'.
370      * be high that this core requires to be low. This can be checked with
371      * '~local_low & high == 0'
390 static inline uint32_t applyFixedBits(uint32_t original, uint32_t high, uint32_t low)
392     original |= high;
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;
570     high = getSyscallArg(1, 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;
604     high = getSyscallArg(1, buffer);
608     return invokeDisableIOPort(vcpu, low, high);