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