FLAG( 81F, 0, EAX, 1, 1, SEV, YES, 17 ) \
FLAG( 81F, 0, EAX, 2, 1, PAGE_FLUSH_MSR, NO, 0 ) \
FLAG( 81F, 0, EAX, 3, 1, SEV_ES, YES, 17 ) \
-FLAG( 81F, 0, EAX, 4, 1, SEV_SNP, YES, FUT ) \
-FLAG( 81F, 0, EAX, 5, 1, VMPL, YES, FUT ) \
+FLAG( 81F, 0, EAX, 4, 1, SEV_SNP, YES, 22 ) \
+FLAG( 81F, 0, EAX, 5, 1, VMPL, YES, 22 ) \
FLAG( 81F, 0, EAX, 6, 1, RMPQUERY, NO, 0 ) \
FLAG( 81F, 0, EAX, 7, 1, VMPL_SSS, NO, 0 ) \
FLAG( 81F, 0, EAX, 8, 1, SECURE_TSC, NO, 0 ) \
FLAG( 81F, 0, EAX, 17, 1, VMGEXIT_PARAMETER, NO, 0 ) \
FLAG( 81F, 0, EAX, 18, 1, VIRTUAL_MSR_TOM, NO, 0 ) \
FLAG( 81F, 0, EAX, 19, 1, SEV_IBS_VIRT, NO, 0 ) \
-FLAG( 81F, 0, EAX, 24, 1, VMSA_REG_PROT, YES, FUT ) \
+FLAG( 81F, 0, EAX, 24, 1, VMSA_REG_PROT, YES, 22 ) \
FLAG( 81F, 0, EAX, 25, 1, SMT_PROTECTION, NO, 0 ) \
FLAG( 81F, 0, EAX, 28, 1, SVSM_COMM_PAGE_MSR, NO, 0 ) \
FLAG( 81F, 0, EAX, 29, 1, NESTED_VIRT_SNP_MSR, NO, 0 ) \
FIELD(81F, 0, EBX, 0, 6, SME_PAGE_TABLE_BIT_NUM, YES, 17 ) \
FIELD(81F, 0, EBX, 6, 6, SME_PHYS_ADDR_SPACE_REDUCTION, NO, 0 ) \
-FIELD(81F, 0, EBX, 12, 4, NUM_VMPL, YES, FUT ) \
+FIELD(81F, 0, EBX, 12, 4, NUM_VMPL, YES, 22 ) \
FIELD(81F, 0, ECX, 0, 32, NUM_ENCRYPTED_GUESTS, NO, 0 ) \
FIELD(81F, 0, EDX, 0, 32, SEV_MIN_ASID, NO, 0 )