#include?
#include?
#include?
#include?

#include?
#include?
#include?
#include?

#include?

#if?defined（__i386__）
#define?KERNEL_RW_POINTER	（（void?*）0xc0010000）
#else
//#warning?Not?really?sure?where?kernel?memory?is.??Guessing.
#define?KERNEL_RW_POINTER	（（void?*）0xffffffffc0010000）
#endif


char?test_name[]?=?TEST_NAME;

#include?TEST_NAME

int?main（void）
{
	int?res;

#if?defined（SETUP）
	SETUP;
#endif

	res?=?test_main（）;
	printf（“test?%s?completed?%s.\n“?test_name?
		res???“FAILED“?:?“PASSED“
		）;
	fflush（stdout）;
	return?res???1?:?0;
}