Searched refs:icr2_val (Results 1 – 1 of 1) sorted by relevance
132 u32 icr2_val; in sender_guest_code() local150 icr2_val = SET_APIC_DEST_FIELD(data->halter_apic_id); in sender_guest_code()152 data->icr2 = icr2_val; in sender_guest_code()163 xapic_write_reg(APIC_ICR2, icr2_val); in sender_guest_code()