(* Copyright (C) 1992, Digital Equipment Corporation           *)
(* All rights reserved.                                        *)
(* See the file COPYRIGHT for a full description.              *)

(* Last modified on Wed Jul  1 21:19:07 1992 by rustan         *)

(* new module KRML *)
UNSAFE MODULE RTRegisters;

CONST SP_index = 0; (* this is the index of the SP into the jmp_buf (type T) *)

PROCEDURE GetStackPointer( READONLY regs: T ): ADDRESS =
  BEGIN
    RETURN LOOPHOLE( regs[ SP_index ], ADDRESS )
  END GetStackPointer;

BEGIN
END RTRegisters.