Searched refs:current_apic_id (Results 1 – 1 of 1) sorted by relevance
665 uint32_t current_apic_id; in apic_deliver() local668 current_apic_id = s->initial_apic_id; in apic_deliver()670 current_apic_id = s->id; in apic_deliver()679 apic_set_bit(deliver_bitmask, current_apic_id); in apic_deliver()686 apic_reset_bit(deliver_bitmask, current_apic_id); in apic_deliver()