Searched refs:VGIC_REGISTER (Results 1 – 1 of 1) sorted by relevance
| /freebsd/sys/arm64/vmm/io/ |
| H A D | vgic_v3.c | 191 #define VGIC_REGISTER(start_addr, reg_size, reg_flags, readf, writef) \ macro
251 VGIC_REGISTER(GICD_CTLR, 4, VGIC_32_BIT, dist_ctlr_read,
253 VGIC_REGISTER(GICD_TYPER, 4, VGIC_32_BIT, dist_typer_read,
255 VGIC_REGISTER(GICD_IIDR, 4, VGIC_32_BIT, dist_iidr_read,
258 VGIC_REGISTER(GICD_SETSPI_NSR, 4, VGIC_32_BIT, gic_zero_read,
260 VGIC_REGISTER(GICD_CLRSPI_NSR, 4, VGIC_32_BIT, gic_zero_read,
323 VGIC_REGISTER(GICD_PIDR2, 4, VGIC_32_BIT, gic_pidr2_read,
345 VGIC_REGISTER(GICR_CTLR, 4, VGIC_32_BIT, redist_ctlr_read,
347 VGIC_REGISTER(GICR_IIDR, 4, VGIC_32_BIT, redist_iidr_read,
349 VGIC_REGISTER(GICR_TYPER, 8, VGIC_64_BIT | VGIC_32_BIT,
[all …]
|