1/*
2 * Copyright 2018 Google, Inc.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are
6 * met: redistributions of source code must retain the above copyright
7 * notice, this list of conditions and the following disclaimer;
8 * redistributions in binary form must reproduce the above copyright

--- 168 unchanged lines hidden (view full) ---

177 void dontInitialize(Process *p);
178
179 // Run the next process, if there is one.
180 void yield();
181
182 // Put a process on the ready list.
183 void ready(Process *p);
184
185 // Schedule an update for a given channel.
186 void requestUpdate(Channel *c);
187
188 // Run the given process immediately, preempting whatever may be running.
189 void
190 runNow(Process *p)
191 {
192 // If a process is running, schedule it/us to run again.

--- 222 unchanged lines hidden ---