Searched refs:halter_apic_id (Results 1 – 1 of 1) sorted by relevance
57 uint32_t halter_apic_id; member96 data->halter_apic_id = GET_APIC_ID_FIELD(xapic_read_reg(APIC_ID)); in halter_guest_code()151 icr2_val = SET_APIC_DEST_FIELD(data->halter_apic_id); in sender_guest_code()452 data->halter_apic_id, wait_secs); in main()483 data->halter_apic_id, in main()