Searched refs:IPI_VECTOR (Results 1 – 2 of 2) sorted by relevance
19 #define IPI_VECTOR 0xfe macro101 ipi->vector = IPI_VECTOR; in sender_guest_code()110 IPI_VECTOR, 1 << RECEIVER_VCPU_ID_1); in sender_guest_code()118 ipi_ex->vector = IPI_VECTOR; in sender_guest_code()132 IPI_VECTOR, HV_GENERIC_SET_SPARSE_4K); in sender_guest_code()140 ipi_ex->vector = IPI_VECTOR; in sender_guest_code()154 IPI_VECTOR, HV_GENERIC_SET_SPARSE_4K); in sender_guest_code()162 ipi_ex->vector = IPI_VECTOR; in sender_guest_code()177 IPI_VECTOR, HV_GENERIC_SET_SPARSE_4K); in sender_guest_code()185 ipi_ex->vector = IPI_VECTOR; in sender_guest_code()[all …]
45 #define IPI_VECTOR 0xa5 macro148 icr_val = (APIC_DEST_PHYSICAL | APIC_DM_FIXED | IPI_VECTOR); in sender_guest_code()411 vm_install_exception_handler(vm, IPI_VECTOR, guest_ipi_handler); in main()