- v -

• va_arg : stdarg.h, stackarg.h
• va_copy : stdarg.h, stackarg.h
• VA_DMMU_PA_WATCHPOINT_REG : mmu.h
• VA_DMMU_SFAR : mmu.h
• VA_DMMU_SFSR : mmu.h
• VA_DMMU_TAG_ACCESS : mmu.h
• VA_DMMU_TAG_TARGET : mmu.h
• VA_DMMU_TSB_BASE : mmu.h
• VA_DMMU_VA_WATCHPOINT_REG : mmu.h
• va_end : stdarg.h, stackarg.h
• VA_IMMU_SFSR : mmu.h
• VA_IMMU_TAG_ACCESS : mmu.h
• VA_IMMU_TAG_TARGET : mmu.h
• VA_IMMU_TSB_BASE : mmu.h
• VA_PRIMARY_CONTEXT_REG : mmu.h
• VA_SECONDARY_CONTEXT_REG : mmu.h
• va_start : stdarg.h, stackarg.h
• VECTOR_KBD : interrupt.h
• VMA : boot.h

---