-- 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.