DEFINITION MODULE Kmisc;

FROM K32baseTypes IMPORT

#ifdef PROF
	cardinal32,
#endif PROF
	bits16;

EXPORT QUALIFIED

#ifdef PROF
	profileTable, typeProfileTable,
#endif PROF
	kernelReady, switchReg;

#ifdef PROF
CONST
	profileTableMax = 700;

VAR
	profileTable : ARRAY [0..profileTableMax] OF cardinal32;
#endif PROF

VAR
	switchReg : bits16;

VAR
	kernelReady	: BOOLEAN;
		(* is the kernel finished with internal initialization? *)

PROCEDURE typeProfileTable();

END Kmisc.
