retva             232 arch/i386/i386/mpbios.c 	vaddr_t retva = va + (pa & PGOFSET);
retva             251 arch/i386/i386/mpbios.c 	return ((const void *)retva);