Searched refs:GOOD_IPI_VECTOR (Results 1 – 1 of 1) sorted by relevance
7 #define GOOD_IPI_VECTOR 0xe0 macro56 xapic_write_reg(APIC_ICR, APIC_DEST_SELF | APIC_DM_FIXED | GOOD_IPI_VECTOR); in l1_guest_code()85 GUEST_ASSERT_EQ(x2apic_read_reg(APIC_ISR + APIC_VECTOR_TO_REG_OFFSET(GOOD_IPI_VECTOR)), in l1_guest_code()86 BIT(APIC_VECTOR_TO_BIT_NUMBER(GOOD_IPI_VECTOR))); in l1_guest_code()88 GUEST_ASSERT_EQ(x2apic_read_reg(APIC_ISR + APIC_VECTOR_TO_REG_OFFSET(GOOD_IPI_VECTOR)), 0); in l1_guest_code()99 xapic_write_reg(APIC_ICR, APIC_DEST_SELF | APIC_DM_FIXED | GOOD_IPI_VECTOR); in l1_guest_code()104 GUEST_ASSERT_EQ(xapic_read_reg(APIC_ISR + APIC_VECTOR_TO_REG_OFFSET(GOOD_IPI_VECTOR)), in l1_guest_code()105 BIT(APIC_VECTOR_TO_BIT_NUMBER(GOOD_IPI_VECTOR))); in l1_guest_code()107 GUEST_ASSERT_EQ(xapic_read_reg(APIC_ISR + APIC_VECTOR_TO_REG_OFFSET(GOOD_IPI_VECTOR)), 0); in l1_guest_code()129 vm_install_exception_handler(vm, GOOD_IPI_VECTOR, good_ipi_handler); in main()