- v -

• vdev_emulate() : vdev.h , vdev.c
• vdev_gicd_init() : vdev_gicd.h , vdev_gicd.c
• vdev_gicd_reset_values() : vdev_gicd.c
• vdev_init() : vdev.h , 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.c , vgic.h
• 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_irq_enable() : vgic.c
• vgic_restore_status() : vgic.c , vgic.h
• vgic_save_status() : vgic.c , vgic.h
• vgic_setcallback_virq_flush() : vgic.c , vgic.h
• vgicd_changed_istatus() : vdev_gicd.c
• vgicd_set_callback_changed_istatus() : vdev_gicd.c , vdev_gicd.h
• virq_flush() : virq.c
• virq_init() : virq.c , virq.h
• virq_inject() : virq.c , virq.h
• virqmap_for_pirq() : virqmap.c , virqmap.h
• virqmap_init() : virqmap.c , virqmap.h
• virqmap_pirq() : virqmap.h , virqmap.c
• virqmap_vgicd_changed_istatus_callback_handler() : virqmap.c , virqmap.h
• vmm_init() : vmm.h , vmm.c
• vmm_init_mmu() : vmm.c
• vmm_init_ttbl() : vmm.c
• vmm_init_ttbl2() : vmm.c
• vmm_set_vmid_ttbl() : vmm.h , vmm.c
• vmm_stage2_enable() : vmm.c , vmm.h
• 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
• vtimer_changed_status() : vdev_timer.c
• vtimer_set_callback_chagned_status() : vdev_timer.h , vdev_timer.c