-- WorldVMExtra.mesa
-- Andrew Birrell February 6, 1983 1:38 pm
-- Should be merged with WorldVM

DIRECTORY
Booting        USING[ Bootee, Switches ];

WorldVMExtra: CEDAR DEFINITIONS =

BEGIN

SwapAndBoot: PROC[boot: Booting.Bootee, switches: Booting.Switches];
  -- Boot as described in "Booting" interface, but first outloading if necessary.  If executing in a world-swap debugger, this 
procedure will return to its caller after the corresponding inload.

END.