- v -

• vcpu_get_timer : arm_arch_timer.h
• vcpu_hptimer : arm_arch_timer.h
• vcpu_hvtimer : arm_arch_timer.h
• vcpu_ptimer : arm_arch_timer.h
• VCPU_RESET_PSTATE_EL1 : reset.c
• VCPU_RESET_PSTATE_EL2 : reset.c
• VCPU_RESET_PSTATE_SVC : reset.c
• vcpu_sve_slices : guest.c
• vcpu_timer : arm_arch_timer.h
• vcpu_vtimer : arm_arch_timer.h
• VGIC_ACCESS_32bit : vgic-mmio.h
• VGIC_ACCESS_64bit : vgic-mmio.h
• VGIC_ACCESS_8bit : vgic-mmio.h
• VGIC_ADDR_IRQ_MASK : vgic-mmio.h
• VGIC_ADDR_TO_INTID : vgic-mmio.h
• VGIC_ADDR_UNDEF : vgic.h
• VGIC_AFFINITY_0_MASK : vgic.h
• VGIC_AFFINITY_0_SHIFT : vgic.h
• VGIC_AFFINITY_1_MASK : vgic.h
• VGIC_AFFINITY_1_SHIFT : vgic.h
• VGIC_AFFINITY_2_MASK : vgic.h
• VGIC_AFFINITY_2_SHIFT : vgic.h
• VGIC_AFFINITY_3_MASK : vgic.h
• VGIC_AFFINITY_3_SHIFT : vgic.h
• VGIC_AFFINITY_LEVEL : vgic.h
• vgic_initialized : arm_vgic.h
• vgic_irq_is_sgi : vgic.h
• VGIC_IRQ_SW_RESAMPLE : arm_vgic.h
• VGIC_MAX_PRIVATE : arm_vgic.h
• VGIC_MAX_RESERVED : arm_vgic.h
• VGIC_MAX_SPI : arm_vgic.h
• VGIC_MIN_LPI : arm_vgic.h
• VGIC_NR_IRQS_LEGACY : arm_vgic.h
• VGIC_NR_PPIS : arm_vgic.h
• VGIC_NR_PRIVATE_IRQS : arm_vgic.h
• VGIC_NR_SGIS : arm_vgic.h
• VGIC_PRI_BITS : vgic.h
• vgic_ready : arm_vgic.h
• VGIC_TO_MPIDR : vgic.h
• VGIC_V2_MAX_CPUS : arm_vgic.h
• VGIC_V2_MAX_LRS : arm_vgic.h
• VGIC_V3_LR_INDEX : arm_vgic.h
• VGIC_V3_MAX_CPUS : arm_vgic.h
• VGIC_V3_MAX_LRS : arm_vgic.h
• vgic_valid_spi : arm_vgic.h
• VITS_DTE_MAX_DEVID_OFFSET : vgic-its.c
• VITS_ITE_MAX_EVENTID_OFFSET : vgic-its.c
• VITS_TYPER_DEVBITS : vgic-its.c
• VITS_TYPER_IDBITS : vgic-its.c
• vmid2idx : vmid.c
• VMID_ACTIVE_INVALID : vmid.c
• VMID_FIRST_VERSION : vmid.c
• vmid_gen_match : vmid.c
• VMID_MASK : vmid.c
• vq_mask : guest.c
• vq_present : guest.c
• vq_word : guest.c
• vtr_to_max_lr_idx : vgic-v3-sr.c
• vtr_to_nr_apr_regs : vgic-v3-sr.c
• vtr_to_nr_pre_bits : vgic-v3-sr.c