- v -

• va_arg : stdarg.h
• va_copy : stdarg.h
• va_end : stdarg.h
• va_start : stdarg.h
• vbar_set : ARMCore.h
• VECTOR_DEFAULT_SIZE : Vector.h
• VGA_ATTR : VGA.h
• VGA_CHAR : VGA.h
• VGA_IOADDR : VGA.h
• VGA_IODATA : VGA.h
• VGA_PADDR : VGA.h