Searched refs:cr4_flexible_bits (Results 1 – 1 of 1) sorted by relevance
433 uint64_t cr4_flexible_bits; in init_cr0_cr4_flexible_bits() local478 cr4_flexible_bits = (fixed0 ^ fixed1); in init_cr0_cr4_flexible_bits()479 cr4_passthru_mask &= cr4_flexible_bits; in init_cr0_cr4_flexible_bits()480 cr4_trap_and_passthru_mask &= cr4_flexible_bits; in init_cr0_cr4_flexible_bits()494 cr4_rsv_bits_guest_value = (fixed0 & ~cr4_flexible_bits); in init_cr0_cr4_flexible_bits()503 cr4_flexible_bits, cr4_passthru_mask, cr4_trap_and_passthru_mask); in init_cr0_cr4_flexible_bits()
Completed in 3 milliseconds