arm64/arm64/gicv3_its.c

573 	device_t gicv3;
579 	gicv3 = device_get_parent(dev);
583 	if ((gic_r_read_4(gicv3, GICR_TYPER) & GICR_TYPER_PLPIS) == 0) {
588 	ctlr = gic_r_read_4(gicv3, GICR_CTLR);
590 	gic_r_write_4(gicv3, GICR_CTLR, ctlr);
602 	gic_r_write_8(gicv3, GICR_PROPBASER, xbaser);
605 	tmp = gic_r_read_8(gicv3, GICR_PROPBASER);
620 			gic_r_write_8(gicv3, GICR_PROPBASER, xbaser);
632 	gic_r_write_8(gicv3, GICR_PENDBASER, xbaser);
634 	tmp = gic_r_read_8(gicv3, GICR_PENDBASER);
649 	ctlr = gic_r_read_4(gicv3, GICR_CTLR);
651 	gic_r_write_4(gicv3, GICR_CTLR, ctlr);
661 		target = GICR_TYPER_CPUNUM(gic_r_read_8(gicv3, GICR_TYPER));