Searched refs:gic_pidr2_read (Results 1 – 1 of 1) sorted by relevance
| /freebsd/sys/arm64/vmm/io/ |
| H A D | vgic_v3.c | 198 static register_read gic_pidr2_read; variable
322 VGIC_REGISTER(GICD_PIDR2, 4, VGIC_32_BIT, gic_pidr2_read,
362 VGIC_REGISTER(GICD_PIDR2, 4, VGIC_32_BIT, gic_pidr2_read,
637 gic_pidr2_read(struct hypctx *hypctx, u_int reg, uint64_t *rval, in gic_pidr2_read() function
|