Searched refs:icr2_val (Results 1 – 1 of 1) sorted by relevance
137 uint32_t icr2_val; in sender_guest_code() local155 icr2_val = SET_APIC_DEST_FIELD(data->halter_apic_id); in sender_guest_code()157 data->icr2 = icr2_val; in sender_guest_code()168 xapic_write_reg(APIC_ICR2, icr2_val); in sender_guest_code()
