Typedefs starting with `v' in osfmk/ppc

• va_abbrev_t osfmk/ppc/proc_reg.h:373
• va_full_t osfmk/ppc/proc_reg.h:366
• virtual_addr_t osfmk/ppc/proc_reg.h:379
• void osfmk/ppc/machine_routines.h:104