src/Pure/Concurrent/event_timer.ML

   else
     SOME (Standard_Thread.fork {name = "event_timer", stack_limit = NONE, interrupts = false}
       manager_loop);
 
 fun shutdown () =
-  uninterruptible (fn restore_attributes => fn () =>
+  Multithreading.uninterruptible (fn restore_attributes => fn () =>
     if Synchronized.change_result state (fn st as State {requests, manager, ...} =>
       if is_shutdown Normal st then (false, st)
       else if is_shutdown Shutdown_Ack st orelse is_shutdown_req st then
         raise Fail "Concurrent attempt to shutdown event timer"
       else (true, make_state (requests, Shutdown_Req, manager_check manager)))

     let
       val (canceled, requests') = del_request req requests;
       val manager' = manager_check manager;
     in (canceled, make_state (requests', status, manager')) end);
 
-val future = uninterruptible (fn _ => fn time =>
+val future = Multithreading.uninterruptible (fn _ => fn time =>
   let
     val req: request Single_Assignment.var = Single_Assignment.var "request";
     fun abort () = ignore (cancel (Single_Assignment.await req));
     val promise: unit future = Future.promise abort;
     val _ = Single_Assignment.assign req (request time (Future.fulfill promise));