FLAG( 403, 0, EDX, 11, 1, DEBUG_MSRS_AVAIL, NA, 0 ) \
FLAG( 403, 0, EDX, 12, 1, NPIEP1_AVAIL, NA, 0 ) \
FLAG( 403, 0, EDX, 13, 1, DISABLE_HYPERVISOR_AVAIL, NA, 0 ) \
-FLAG( 403, 0, EDX, 15, 1, XMM_REGS_FOR_HYPERCALL_OUTPUT, NA, 0 )
+FLAG( 403, 0, EDX, 15, 1, XMM_REGS_FOR_HYPERCALL_OUTPUT, NA, 0 ) \
+FLAG( 403, 0, EDX, 17, 1, SINT_POLLING_AVAIL, NA, 0 ) \
+FLAG( 403, 0, EDX, 19, 1, DIRECT_SYN_TIMER, NA, 0 )
/* LEVEL, SUB-LEVEL, REG, POS, SIZE, NAME, MON SUPP, HWV */
#define CPUID_FIELD_DATA_LEVEL_404 \