Searched refs:IPI_VECTOR (Results 1 – 2 of 2) sorted by relevance
21 #define IPI_VECTOR 0xfe macro103 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()[all …]
47 #define IPI_VECTOR 0xa5 macro150 icr_val = (APIC_DEST_PHYSICAL | APIC_DM_FIXED | IPI_VECTOR); in sender_guest_code()415 vm_install_exception_handler(vm, IPI_VECTOR, guest_ipi_handler); in main()