Home | History | Annotate | Download | only in booke

Lines Matching defs:irq_vpr

80 	bus_addr_t irq_vpr;
657 		ii->irq_vpr = OPENPIC_EIVPR(irq);
668 		ii->irq_vpr = OPENPIC_IIVPR(irq);
683 		ii->irq_vpr = OPENPIC_MSIVPR(irq);
689 		ii->irq_vpr = OPENPIC_GTVPR(ci->ci_cpuid, irq);
697 		ii->irq_vpr = OPENPIC_IPIVPR(irq);
702 		ii->irq_vpr = OPENPIC_MIVPR(irq);
779 	is->is_vpr = ii.irq_vpr;
833 	openpic_write(cpu, ii.irq_vpr, vpr | VPR_MSK);
839 	openpic_write(cpu, ii.irq_vpr, vpr);
883 	uint32_t vpr = openpic_read(cpu, ii.irq_vpr);
884 	openpic_write(cpu, ii.irq_vpr, VPR_MSK | vpr);
889 	while (openpic_read(cpu, ii.irq_vpr) & VPR_A)
896 	openpic_write(cpu, ii.irq_vpr, VPR_MSK);	/* mask/reset it */
1519 	uint32_t vpr = openpic_read(cpu, ii.irq_vpr);
1520 	openpic_write(cpu, ii.irq_vpr, vpr | VPR_MSK);
1525 	while (openpic_read(cpu, ii.irq_vpr) & VPR_A)
1536 	openpic_write(cpu, ii.irq_vpr, vpr);