(*
    Title: 	Server end of things
    LastEdit:	"Fri Dec 18 12:05:48 1987"
    Author: 	Derek McAuley,Oms1,4663,329629
		Cambridge University Computer Laboratory
*)

DEFINITION MODULE RPCCalls;


IMPORT 
  PktBufs, RPCStates;


EXPORT QUALIFIED 
  ReceivedPkt, Calls, Init;

  
PROCEDURE ReceivedPkt(
  p:    PktBufs.T;
  state:RPCStates.T
 );

PROCEDURE Calls(
  VAR total: CARDINAL; (* Out *)
  VAR normal:CARDINAL; (* Out *)
  VAR except:CARDINAL; (* Out *)
  VAR broken:CARDINAL; (* Out *)
  VAR active:CARDINAL; (* Out *)
      reset: BOOLEAN
 );

PROCEDURE Init();

END RPCCalls.

