bchkspc.c

来自「T-Kernel源代码,号称占有世界处理器操作系统６０％的市场份额！」· C语言 代码 · 共 42 行

/*
 *----------------------------------------------------------------------
 *    T-Kernel
 *
 *    Copyright (C) 2004 by Ken Sakamura. All rights reserved.
 *    T-Kernel is distributed under the T-License.
 *----------------------------------------------------------------------
 *
 *    Version:   1.01.00
 *    Released by T-Engine Forum(http://www.t-engine.org) at 2004/6/28.
 *
 *----------------------------------------------------------------------
 */

/*
 *	@(#)bchkspc.c (libtk)
 *
 *	Address check 
 */

#include <basic.h>
#include <sys/util.h>
#include <tk/syslib.h>

/*
 * Check address space 
 *	Checks to see that the memory area from address to the
 *	len byte is valid.
 */
EXPORT ER CheckSpaceR( VP address, W len )
{
	return ChkSpaceR(address, len);
}
EXPORT ER CheckSpaceRW( VP address, W len )
{
	return ChkSpaceRW(address, len);
}
EXPORT ER CheckSpaceRE( VP address, W len )
{
	return ChkSpaceRE(address, len);
}