Lines Matching full:cpu0
77 void CPU0(void)
93 The basic rule guarantees that if CPU0() acquires mylock before CPU1(),
103 void CPU0(void)
119 This converse to the basic rule guarantees that if CPU0() acquires
134 void CPU0(void)
167 void CPU0(void)
224 void CPU0(void)
259 void CPU0(void)
300 void CPU0(void)
368 void CPU0(void)
382 This pairing of a control dependency in CPU0() with a full memory
417 void CPU0(void)
442 It is tempting to assume that CPU0()'s store to x is globally ordered
446 void CPU0(void)
484 void CPU0(void)
507 * CPU0 - waker CPU1 - waiter
518 On CPU0, the store is to @cond and the load is in waitqueue_active().
522 CPU1 puts the waiting task to sleep and CPU0 fails to wake it up.