Here is a list of all typedefs with links to the files they belong to:

- v -

• VA_LIST : Base.h
• va_list : stdarg.h
• vcpu_guest_context_t : arch-ppc.h
• vcpu_guest_core_regs_t : arch-ppc.h
• vcpu_info_t : xen.h
• vcpu_time_info_t : xen.h
• VENDOR_DEFINED_DEVICE_PATH : DevicePath.h