DEFINITION MODULE Local ;

(* Machine registers of the MC64 virtual machine.  All are LONGCARD
   offsets into the linear memory array. *)

EXPORT QUALIFIED Init, GetSP, SetSP, GetFP, SetFP, GetGP, SetGP,
  GetOFP, SetOFP, GetIP, SetIP ;

PROCEDURE Init ;
PROCEDURE GetSP () : LONGCARD ;
PROCEDURE SetSP (v: LONGCARD) ;
PROCEDURE GetFP () : LONGCARD ;
PROCEDURE SetFP (v: LONGCARD) ;
PROCEDURE GetGP () : LONGCARD ;
PROCEDURE SetGP (v: LONGCARD) ;
PROCEDURE GetOFP () : LONGCARD ;
PROCEDURE SetOFP (v: LONGCARD) ;
PROCEDURE GetIP () : LONGCARD ;
PROCEDURE SetIP (v: LONGCARD) ;

END Local.