Searched refs:icr_low (Results 1 – 2 of 2) sorted by relevance
343 uint8_t vector = (uint8_t)icr_low; in vlapic_accept_irq()345 switch ( icr_low & APIC_MODE_MASK ) in vlapic_accept_irq()381 icr_low); in vlapic_accept_irq()467 unsigned int short_hand = icr_low & APIC_SHORT_MASK; in vlapic_ipi()468 bool_t dest_mode = !!(icr_low & APIC_DEST_MASK); in vlapic_ipi()474 switch ( icr_low & APIC_MODE_MASK ) in vlapic_ipi()484 vlapic->init_sipi.icr = icr_low; in vlapic_ipi()493 if ( unlikely((icr_low & APIC_VECTOR_MASK) < 16) ) in vlapic_ipi()496 vlapic_accept_irq(vlapic_vcpu(target), icr_low); in vlapic_ipi()501 if ( unlikely((icr_low & APIC_VECTOR_MASK) < 16) ) in vlapic_ipi()[all …]
136 void vlapic_ipi(struct vlapic *vlapic, uint32_t icr_low, uint32_t icr_high);
Completed in 6 milliseconds