procedure Busy_Wait_Until (Deadline : Time)
function Clock
return Time
function Milliseconds
(T : Natural)
return Time
procedure Set_Debug_Pause
(Core_0, Core_1 : Boolean)
Ticks_Per_Second : constant := 1_000_000;
type Time is new UInt64;