46 	uint64_t cr4;  in calc_supported_cr4_feature_bits()  local
48 	cr4 = X86_CR4_VME | X86_CR4_PVI | X86_CR4_TSD | X86_CR4_DE |  in calc_supported_cr4_feature_bits()
52 		cr4 |= X86_CR4_UMIP;  in calc_supported_cr4_feature_bits()
54 		cr4 |= X86_CR4_LA57;  in calc_supported_cr4_feature_bits()
56 		cr4 |= X86_CR4_VMXE;  in calc_supported_cr4_feature_bits()
58 		cr4 |= X86_CR4_SMXE;  in calc_supported_cr4_feature_bits()
60 		cr4 |= X86_CR4_FSGSBASE;  in calc_supported_cr4_feature_bits()
62 		cr4 |= X86_CR4_PCIDE;  in calc_supported_cr4_feature_bits()
64 		cr4 |= X86_CR4_OSXSAVE;  in calc_supported_cr4_feature_bits()
66 		cr4 |= X86_CR4_SMEP;  in calc_supported_cr4_feature_bits()
68 		cr4 |= X86_CR4_SMAP;  in calc_supported_cr4_feature_bits()
70 		cr4 |= X86_CR4_PKE;  in calc_supported_cr4_feature_bits()
72 	return cr4;  in calc_supported_cr4_feature_bits()
80 	uint64_t cr4;  in main()  local
94 	sregs.cr4 |= calc_supported_cr4_feature_bits();  in main()
95 	cr4 = sregs.cr4;  in main()
98 	TEST_ASSERT(!rc, "Failed to set supported CR4 bits (0x%lx)", cr4);  in main()
101 	TEST_ASSERT(sregs.cr4 == cr4, "sregs.CR4 (0x%llx) != CR4 (0x%lx)",  in main()
102 		    sregs.cr4, cr4);  in main()
105 	TEST_INVALID_CR_BIT(vcpu, cr4, sregs, X86_CR4_UMIP);  in main()
106 	TEST_INVALID_CR_BIT(vcpu, cr4, sregs, X86_CR4_LA57);  in main()
107 	TEST_INVALID_CR_BIT(vcpu, cr4, sregs, X86_CR4_VMXE);  in main()
108 	TEST_INVALID_CR_BIT(vcpu, cr4, sregs, X86_CR4_SMXE);  in main()
109 	TEST_INVALID_CR_BIT(vcpu, cr4, sregs, X86_CR4_FSGSBASE);  in main()
110 	TEST_INVALID_CR_BIT(vcpu, cr4, sregs, X86_CR4_PCIDE);  in main()
111 	TEST_INVALID_CR_BIT(vcpu, cr4, sregs, X86_CR4_OSXSAVE);  in main()
112 	TEST_INVALID_CR_BIT(vcpu, cr4, sregs, X86_CR4_SMEP);  in main()
113 	TEST_INVALID_CR_BIT(vcpu, cr4, sregs, X86_CR4_SMAP);  in main()
114 	TEST_INVALID_CR_BIT(vcpu, cr4, sregs, X86_CR4_PKE);  in main()