Lines Matching full:cpu0
73 void CPU0(void)
89 The basic rule guarantees that if CPU0() acquires mylock before CPU1(),
99 void CPU0(void)
115 This converse to the basic rule guarantees that if CPU0() acquires
130 void CPU0(void)
163 void CPU0(void)
220 void CPU0(void)
255 void CPU0(void)
296 void CPU0(void)
364 void CPU0(void)
378 This pairing of a control dependency in CPU0() with a full memory
413 void CPU0(void)
438 It is tempting to assume that CPU0()'s store to x is globally ordered
442 void CPU0(void)
480 void CPU0(void)
503 * CPU0 - waker CPU1 - waiter
514 On CPU0, the store is to @cond and the load is in waitqueue_active().
518 CPU1 puts the waiting task to sleep and CPU0 fails to wake it up.