Lines Matching refs:IPI_VECTOR
21 #define IPI_VECTOR 0xfe macro
103 ipi->vector = IPI_VECTOR; in sender_guest_code()
112 IPI_VECTOR, 1 << RECEIVER_VCPU_ID_1); in sender_guest_code()
120 ipi_ex->vector = IPI_VECTOR; in sender_guest_code()
134 IPI_VECTOR, HV_GENERIC_SET_SPARSE_4K); in sender_guest_code()
142 ipi_ex->vector = IPI_VECTOR; in sender_guest_code()
156 IPI_VECTOR, HV_GENERIC_SET_SPARSE_4K); in sender_guest_code()
164 ipi_ex->vector = IPI_VECTOR; in sender_guest_code()
179 IPI_VECTOR, HV_GENERIC_SET_SPARSE_4K); in sender_guest_code()
187 ipi_ex->vector = IPI_VECTOR; in sender_guest_code()
200 IPI_VECTOR, HV_GENERIC_SET_ALL); in sender_guest_code()
271 vm_install_exception_handler(vm, IPI_VECTOR, guest_ipi_handler); in main()