493a494,496
> // A proxy function to avoid having to expose the scheduler in header files.
> Process *getCurrentProcess();
>