Searched refs:ackctl (Results 1 – 3 of 3) sorted by relevance
214 vmcr |= (vmcrp->ackctl << GICH_VMCR_ACK_CTL_SHIFT) & in vgic_v2_set_vmcr()243 vmcrp->ackctl = (vmcr & GICH_VMCR_ACK_CTL_MASK) >> in vgic_v2_get_vmcr()
287 val |= vmcr.ackctl << GIC_CPU_CTRL_AckCtl_SHIFT; in vgic_mmio_read_vcpuif()334 vmcr.ackctl = !!(val & GIC_CPU_CTRL_AckCtl); in vgic_mmio_write_vcpuif()
159 u32 ackctl; member