Searched refs:ICH_VMCR_EL2_VENG1 (Results 1 – 2 of 2) sorted by relevance
| /freebsd-head/sys/arm64/vmm/io/ | ||
| HD | vgic_v3_reg.h | 106 #define ICH_VMCR_EL2_VENG1 (1 << 1) /* Virtual Group 1 Interrupt Enable */ macro |
| HD | vgic_v3.c | 525 ICH_VMCR_EL2_VENG1; in vgic_v3_cpuinit() |