Searched refs:GICR_ICFGR1 (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/arm64/arm64/ | ||
| H A D | gic_v3_reg.h | 267 #define GICR_ICFGR1 0x0c04 macro |
| /freebsd/sys/arm64/vmm/io/ | ||
| H A D | vgic_v3.c | 412 VGIC_REGISTER(GICR_ICFGR1, 4, VGIC_32_BIT, redist_icfgr1_read, |