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, NO, 0 ) \
-FLAG( 81F, 0, EAX, 5, 1, VMPL, NO, 0 ) \
+FLAG( 81F, 0, EAX, 5, 1, VMPL, YES, FUT ) \
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, 24, 1, VMSA_REG_PROT, 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, NO, 0 ) \
+FIELD(81F, 0, EBX, 12, 4, NUM_VMPL, YES, FUT ) \
FIELD(81F, 0, ECX, 0, 32, NUM_ENCRYPTED_GUESTS, NO, 0 ) \
FIELD(81F, 0, EDX, 0, 32, SEV_MIN_ASID, NO, 0 )