Searched refs:GICD_SPI_INTID_MASK (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/arm64/arm64/ | ||
| H A D | gic_v3_reg.h | 75 #define GICD_SPI_INTID_MASK 0x3ff macro |
| /freebsd/sys/arm64/vmm/io/ | ||
| H A D | vgic_v3.c | 1069 irqid = wval & GICD_SPI_INTID_MASK; in dist_setclrspi_nsr_write() |