/**************************************************************************
 *									  *
 *		 Copyright (C) 1994, Silicon Graphics, Inc.		  *
 *									  *
 *  These coded instructions, statements, and computer programs  contain  *
 *  unpublished  proprietary  information of Silicon Graphics, Inc., and  *
 *  are protected by Federal copyright law.  They  may  not be disclosed  *
 *  to  third  parties  or copied or duplicated in any form, in whole or  *
 *  in part, without the prior written consent of Silicon Graphics, Inc.  *
 *									  *
 **************************************************************************/

#include <R4300.h>
#include "osint.h"

u32
osVirtualToPhysical(void *virtualAddress)
{
	if (IS_KSEG0(virtualAddress))
		return(K0_TO_PHYS(virtualAddress));
	else if (IS_KSEG1(virtualAddress))
		return(K1_TO_PHYS(virtualAddress));
	else {
		return(__osProbeTLB(virtualAddress));
	}
}