Searched refs:gicv3 (Results 1 - 2 of 2) sorted by path
| /freebsd-11-stable/sys/arm64/arm64/ |
| H A D | gic_v3_var.h | 92 __BUS_ACCESSOR(gicv3, nirqs, GICV3, NIRQS, u_int);
93 __BUS_ACCESSOR(gicv3, redist_vaddr, GICV3, REDIST_VADDR, void *);
|
| H A D | gicv3_its.c | 573 device_t gicv3; local
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_PENDBASE
[all...] |
Completed in 124 milliseconds