- v -

• VA_LIST : Base.h
• va_list : stdarg.h
• vcpu_guest_context_t : xen.h
• vcpu_info_t : xen.h
• vcpu_time_info_t : xen.h
• VENDOR_DEFINED_DEVICE_PATH : DevicePath.h