Searched refs:cr0_rsv_bits_guest_value (Results 1 – 1 of 1) sorted by relevance
108 static uint64_t cr0_rsv_bits_guest_value; variable161 return (cr0 & cr0_reserved_bits_mask) == cr0_rsv_bits_guest_value; in is_valid_cr0()247 uint64_t effective_cr0 = (value & ~cr0_reserved_bits_mask) | cr0_rsv_bits_guest_value; in vmx_write_cr0()464 cr0_rsv_bits_guest_value = (fixed0 & ~cr0_flexible_bits); in init_cr0_cr4_flexible_bits()465 …initial_guest_cr0 = (cr0_rsv_bits_guest_value & ~CR0_EMULATED_RESERVE_BITS) | CR0_EMRSV_BITS_PHYS_… in init_cr0_cr4_flexible_bits()466 …cr0_rsv_bits_guest_value = (cr0_rsv_bits_guest_value & ~CR0_EMULATED_RESERVE_BITS) | CR0_EMRSV_BIT… in init_cr0_cr4_flexible_bits()471 cr0_reserved_bits_mask, cr0_rsv_bits_guest_value, initial_guest_cr0); in init_cr0_cr4_flexible_bits()
Completed in 5 milliseconds