Lines Matching refs:vfe_value
49 .vfe_value = val, in check_inval_field()
137 should_eq_u64("VAI_PEND_NMI", fields[0].vfe_value, 0); in main()
138 should_eq_u64("VAI_PEND_EXTINT", fields[1].vfe_value, 0); in main()
139 should_eq_u64("VAI_PEND_EXCP", fields[2].vfe_value, 0); in main()
140 should_eq_u64("VAI_PEND_INTINFO", fields[3].vfe_value, 0); in main()
143 fields[0].vfe_value = 1; in main()
144 fields[1].vfe_value = 1; in main()
145 fields[2].vfe_value = VM_INTINFO_VALID | VM_INTINFO_HWEXCP | IDT_GP; in main()
146 fields[3].vfe_value = VM_INTINFO_VALID | VM_INTINFO_SWINTR | 0x80; in main()
159 should_eq_u64("VAI_PEND_INTINFO", fields[0].vfe_value, in main()
161 should_eq_u64("VAI_PEND_EXCP", fields[1].vfe_value, in main()
163 should_eq_u64("VAI_PEND_EXTINT", fields[2].vfe_value, 1); in main()
164 should_eq_u64("VAI_PEND_NMI", fields[3].vfe_value, 1); in main()
180 fields[0].vfe_value = 0; in main()
181 fields[1].vfe_value = 0; in main()
182 fields[2].vfe_value = 0; in main()
183 fields[3].vfe_value = 0; in main()
188 should_eq_u64("VAI_PEND_INTINFO", fields[0].vfe_value, 0); in main()
189 should_eq_u64("VAI_PEND_EXCP", fields[1].vfe_value, 0); in main()
190 should_eq_u64("VAI_PEND_EXTINT", fields[2].vfe_value, 0); in main()
191 should_eq_u64("VAI_PEND_NMI", fields[3].vfe_value, 0); in main()