Searched refs:GICR_WAKER (Results 1 – 3 of 3) sorted by relevance
| /freebsd/sys/arm64/arm64/ |
| H A D | gic_v3_reg.h | 134 #define GICR_WAKER 0x0014 macro
|
| H A D | gic_v3.c | 1450 waker = gic_r_read(sc, 4, GICR_WAKER); in gic_v3_redist_wake()
1453 gic_r_write(sc, 4, GICR_WAKER, waker); in gic_v3_redist_wake()
1458 while ((gic_r_read(sc, 4, GICR_WAKER) & GICR_WAKER_CA) != 0) { in gic_v3_redist_wake()
|
| /freebsd/sys/arm64/vmm/io/ |
| H A D | vgic_v3.c | 351 VGIC_REGISTER_RAZ_WI(GICR_WAKER, 4, VGIC_32_BIT),
|