Home
last modified time | relevance | path

Searched refs:lpi_vcpu_id (Results 1 – 4 of 4) sorted by relevance

/xen-4.10.0-shim-comet/xen/include/asm-arm/
A Dvgic.h83 uint8_t lpi_vcpu_id; /* The VCPU for an LPI. */ member
/xen-4.10.0-shim-comet/xen/arch/arm/
A Dvgic.c67 BUILD_BUG_ON(BIT(sizeof(p->lpi_vcpu_id) * 8) < MAX_VIRT_CPUS); in vgic_init_pending_irq()
73 p->lpi_vcpu_id = INVALID_VCPU_ID; in vgic_init_pending_irq()
A Dgic-v3-lpi.c152 vcpu_id = ACCESS_ONCE(p->lpi_vcpu_id); in vgic_vcpu_inject_lpi()
A Dvgic-v3-its.c560 if ( pirqs[i]->lpi_vcpu_id != vcpu->vcpu_id ) in its_handle_invall()
773 pirq->lpi_vcpu_id = vcpu->vcpu_id; in its_handle_mapti()
845 p->lpi_vcpu_id = nvcpu->vcpu_id; in its_handle_movi()

Completed in 8 milliseconds