Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- v -

• VALID_PIRQ : virq.c
• VDEV_ACCESS_BYTE : vdev.h
• VDEV_ACCESS_HWORD : vdev.h
• VDEV_ACCESS_RESERVED : vdev.h
• vdev_access_size_t : vdev.h
• VDEV_ACCESS_WORD : vdev.h
• vdev_callback_t : vdev.h
• vdev_emulate() : vdev.h , vdev.c
• vdev_gicd_init() : vdev_gicd.c , vdev_gicd.h
• vdev_gicd_reset_values() : vdev_gicd.c
• vdev_init() : vdev.h , vdev.c
• vdev_list : vdev.c
• vdev_reg_device() : vdev.h , vdev.c
• vdev_sample_init() : vdev_sample.c , vdev_sample.h
• vdev_timer_init() : vdev_timer.c , vdev_timer.h
• vgic_enable() : vgic.c , vgic.h
• vgic_find_free_slot() : vgic.c
• vgic_flush_virqs() : vgic.c , vgic.h
• vgic_init() : vgic.c , vgic.h
• vgic_init_status() : vgic.c , vgic.h
• vgic_inject_virq() : vgic.h , vgic.c
• vgic_inject_virq_hw() : vgic.c , vgic.h
• vgic_inject_virq_sw() : vgic.c , vgic.h
• vgic_injection_enable() : vgic.c
• vgic_is_free_slot() : vgic.c
• VGIC_MAINTENANCE_INTERRUPT_IRQ : vgic.c
• vgic_maintenance_irq_enable() : vgic.c
• VGIC_MAX_LISTREGISTERS : vgic.c
• VGIC_NUM_MAX_SLOTS : vgic.h
• VGIC_READY : vgic.c
• vgic_restore_status() : vgic.c , vgic.h
• vgic_save_status() : vgic.c , vgic.h
• vgic_setcallback_virq_flush() : vgic.c , vgic.h
• VGIC_SIGNATURE_INITIALIZED : vgic.c
• VGIC_SIMULATE_HWVIRQ : vgic.c
• VGIC_SLOT_NOTFOUND : vgic.h
• vgicd_changed_istatus() : vdev_gicd.c
• vgicd_changed_istatus_callback_t : vdev_gicd.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_set_callback_changed_istatus() : vdev_gicd.c , vdev_gicd.h
• VGICD_TYPER_DEFAULT : vdev_gicd.c
• virq_flush() : virq.c
• virq_init() : virq.h , virq.c
• virq_inject() : virq.c , virq.h
• VIRQ_INVALID : hvmm_types.h
• VIRQ_MAX_ENTRIES : virq.c
• VIRQ_MIN_VALID_PIRQ : virq.c
• VIRQ_NUM_MAX_PIRQS : virq.c
• VIRQ_STATE_ACTIVE : vgic.h
• VIRQ_STATE_INACTIVE : vgic.h
• VIRQ_STATE_PENDING : vgic.h
• VIRQ_STATE_PENDING_ACTIVE : vgic.h
• virq_state_t : vgic.h
• VIRQMAP_ENTRY_NOTFOUND : virqmap.h
• virqmap_for_pirq() : virqmap.c , virqmap.h
• virqmap_init() : virqmap.h , virqmap.c
• virqmap_pirq() : virqmap.c , virqmap.h
• virqmap_vgicd_changed_istatus_callback_handler() : virqmap.c , virqmap.h
• VMID_INVALID : hvmm_types.h
• vmid_t : hvmm_types.h
• vmm_init() : vmm.c , vmm.h
• vmm_init_mmu() : vmm.c
• vmm_init_ttbl() : vmm.c
• vmm_init_ttbl2() : vmm.c
• 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
• vmm_set_vmid_ttbl() : vmm.h , vmm.c
• vmm_stage2_enable() : vmm.h , vmm.c
• vmm_ttbl2_init_entries() : vmm.c
• vmm_ttbl2_map() : vmm.c
• vmm_ttbl2_unmap() : vmm.c
• vmm_ttbl3_map() : vmm.c
• vmm_ttbl3_unmap() : vmm.c
• vmm_vmid_ttbl() : vmm.c , vmm.h
• 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
• vtimer_changed_status() : vdev_timer.c
• vtimer_changed_status_callback_t : vdev_timer.h
• vtimer_set_callback_chagned_status() : vdev_timer.h , vdev_timer.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