Searched refs:GICD_CTLR (Results 1 – 4 of 4) sorted by relevance
/freebsd/sys/arm/arm/ |
H A D | gic_common.h | 62 #define GICD_CTLR 0x0000 /* v1 ICDDCR */ macro
|
H A D | gic.c | 228 gic_d_write_4(sc, GICD_CTLR, 0x01); in arm_gic_init_secondary() 339 gic_d_write_4(sc, GICD_CTLR, 0x00); in arm_gic_attach() 395 gic_d_write_4(sc, GICD_CTLR, 0x01); in arm_gic_attach() 1182 gic_d_read_4(sc, GICD_CTLR), gic_d_read_4(sc, GICD_TYPER), in arm_gic_db_show()
|
/freebsd/sys/arm64/arm64/ |
H A D | gic_v3.c | 1241 while ((bus_read_4(res, offset + GICD_CTLR) & GICD_CTLR_RWP) != 0) { in gic_v3_wait_for_rwp() 1319 gic_d_write(sc, 4, GICD_CTLR, 0); in gic_v3_dist_init() 1353 gic_d_write(sc, 4, GICD_CTLR, GICD_CTLR_ARE_NS | GICD_CTLR_G1A | in gic_v3_dist_init()
|
/freebsd/sys/arm64/vmm/io/ |
H A D | vgic_v3.c | 250 VGIC_REGISTER(GICD_CTLR, 4, VGIC_32_BIT, dist_ctlr_read,
|