should_eq_u64
should_eq_u64("VAI_PEND_NMI", fields[0].vfe_value, 0);
should_eq_u64("VAI_PEND_EXTINT", fields[1].vfe_value, 0);
should_eq_u64("VAI_PEND_EXCP", fields[2].vfe_value, 0);
should_eq_u64("VAI_PEND_INTINFO", fields[3].vfe_value, 0);
should_eq_u64("VAI_PEND_INTINFO", fields[0].vfe_value,
should_eq_u64("VAI_PEND_EXCP", fields[1].vfe_value,
should_eq_u64("VAI_PEND_EXTINT", fields[2].vfe_value, 1);
should_eq_u64("VAI_PEND_NMI", fields[3].vfe_value, 1);
should_eq_u64("VAI_PEND_INTINFO", fields[0].vfe_value, 0);
should_eq_u64("VAI_PEND_EXCP", fields[1].vfe_value, 0);
should_eq_u64("VAI_PEND_EXTINT", fields[2].vfe_value, 0);
should_eq_u64("VAI_PEND_NMI", fields[3].vfe_value, 0);
should_eq_u64("vt_guest_freq", res.vt_guest_freq, valid.vt_guest_freq);
should_eq_u64("vt_guest_freq", res.vt_guest_freq, valid.vt_guest_freq);