- v -

• VALID_PIRQ : virq.c
• VGIC_MAINTENANCE_INTERRUPT_IRQ : vgic.c
• VGIC_MAX_LISTREGISTERS : vgic.c
• VGIC_NUM_MAX_SLOTS : vgic.h
• VGIC_READY : vgic.c
• VGIC_SIGNATURE_INITIALIZED : vgic.c
• VGIC_SIMULATE_HWVIRQ : vgic.c
• VGIC_SLOT_NOTFOUND : vgic.h
• VGICD_IIDR_DEFAULT : vdev_gicd.c
• VGICD_ITLINESNUM : vdev_gicd.c
• VGICD_NUM_IENABLER : vdev_gicd.c
• VGICD_NUM_IGROUPR : vdev_gicd.c
• VGICD_TYPER_DEFAULT : vdev_gicd.c
• VIRQ_INVALID : hvmm_types.h
• VIRQ_MAX_ENTRIES : virq.c
• VIRQ_MIN_VALID_PIRQ : virq.c
• VIRQ_NUM_MAX_PIRQS : virq.c
• VIRQMAP_ENTRY_NOTFOUND : virqmap.h
• VMID_INVALID : hvmm_types.h
• VMM_L1_PADDING_PTE_NUM : vmm.c
• VMM_L1_PTE_NUM : vmm.c
• VMM_L2_PTE_NUM : vmm.c
• VMM_L2L3_PTE_NUM_TOTAL : vmm.c
• VMM_L3_PTE_NUM : vmm.c
• VMM_PTE_NUM_TOTAL : vmm.c
• VTCR_INITVAL : vmm.c
• VTCR_IRGN0_MASK : vmm.c
• VTCR_IRGN0_SHIFT : vmm.c
• VTCR_ORGN0_MASK : vmm.c
• VTCR_ORGN0_SHIFT : vmm.c
• VTCR_S_MASK : vmm.c
• VTCR_S_SHIFT : vmm.c
• VTCR_SH0_MASK : vmm.c
• VTCR_SH0_SHIFT : vmm.c
• VTCR_SL0_MASK : vmm.c
• VTCR_SL0_SHIFT : vmm.c
• VTCR_T0SZ_MASK : vmm.c
• VTCR_T0SZ_SHIFT : vmm.c
• VTTBR_BADDR_MASK : vmm.c
• VTTBR_BADDR_SHIFT : vmm.c
• VTTBR_INITVAL : vmm.c
• VTTBR_VMID_MASK : vmm.c
• VTTBR_VMID_SHIFT : vmm.c