Searched refs:icr_val (Results 1 – 1 of 1) sorted by relevance
132 uint32_t icr_val; in sender_guest_code() local150 icr_val = (APIC_DEST_PHYSICAL | APIC_DM_FIXED | IPI_VECTOR); in sender_guest_code()152 data->icr = icr_val; in sender_guest_code()165 xapic_write_reg(APIC_ICR, icr_val); in sender_guest_code()