DEFINITION MODULE PCEmisc;

FROM K32types IMPORT

	privStruct, seid;

FROM NKSR IMPORT

	NKSRtiiStruct;

EXPORT QUALIFIED

	audit, nullPrivStruct, quit, run, userTii;


VAR
	nullPrivStruct	: privStruct;
	userTii:               NKSRtiiStruct;


PROCEDURE audit(
	est:                    CHAR;           (* event subtype *)
	fseid:                  seid;           (* file seid *)
	fpriv:                  privStruct);   (* file privs *)

PROCEDURE quit;

(* PROCESS *) PROCEDURE run;

END PCEmisc.
