/**************************************************************************
 *									  *
 *		 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 <asm.h>
#include <regdef.h>
#include <R4300.h>

	.set	noreorder
/*
 * u32 __osGetTLBPageMask(s32 index);
 */
LEAF(__osGetTLBPageMask)
	mtc0	a0,C0_INX		# set index register to argument
	nop				# 7-5-1 = 1 nop
	tlbr				# read the give	n TLB
	nop				# 8-4-1 = 3 nop
	nop
	nop
	mfc0	v0,C0_PAGEMASK		# return the page mask reg contents
	j	ra
	nop
END(__osGetTLBPageMask)