Searched refs:cr4_rsv_bits_guest_value (Results 1 – 1 of 1) sorted by relevance
78 static uint64_t cr4_rsv_bits_guest_value; variable330 return (cr4 & cr4_reserved_bits_mask) == cr4_rsv_bits_guest_value; in is_valid_cr4()494 cr4_rsv_bits_guest_value = (fixed0 & ~cr4_flexible_bits); in init_cr0_cr4_flexible_bits()497 cr4_rsv_bits_guest_value &= ~CR4_VMXE; in init_cr0_cr4_flexible_bits()499 …initial_guest_cr4 = (cr4_rsv_bits_guest_value & ~CR4_EMULATED_RESERVE_BITS) | CR4_EMRSV_BITS_PHYS_… in init_cr0_cr4_flexible_bits()500 …cr4_rsv_bits_guest_value = (cr4_rsv_bits_guest_value & ~CR4_EMULATED_RESERVE_BITS) | CR4_EMRSV_BIT… in init_cr0_cr4_flexible_bits()505 cr4_reserved_bits_mask, cr4_rsv_bits_guest_value, initial_guest_cr4); in init_cr0_cr4_flexible_bits()
Completed in 6 milliseconds