Searched refs:GICR_ISPENDR0 (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/arm64/arm64/ | ||
| H A D | gic_v3_reg.h | 261 #define GICR_ISPENDR0 0x0200 macro |
| /freebsd/sys/arm64/vmm/io/ | ||
| H A D | vgic_v3.c | 400 VGIC_REGISTER(GICR_ISPENDR0, 4, VGIC_32_BIT, redist_ipendr0_read, |