- v -

• vector_to_string() : interrupt.c
• version_print() : version.h
• vhpt_compare() : page.c
• vhpt_hash() : page.c
• vhpt_invalidate_all() : vhpt.h
• vhpt_invalidate_asid() : vhpt.h
• vhpt_mapping_insert() : vhpt.h
• vhpt_set_record() : page.c
• vhpt_set_up() : vhpt.h
• virtual_interrupt() : interrupt.h
• vprintf() : print.h
• vprintf_write() : vprintf.c
• vsnprintf() : print.h
• vsnprintf_write() : vsnprintf.c
• vsprintf() : print.h

---