Lines Matching full:cpu1
85 void CPU1(void)
93 The basic rule guarantees that if CPU0() acquires mylock before CPU1(),
111 void CPU1(void)
120 mylock before CPU1(), then both r0 and r1 must be set to the value 0.
142 void CPU1(void)
175 void CPU1(void)
230 void CPU1(void)
265 void CPU1(void)
307 void CPU1(void)
375 void CPU1(void)
383 barrier in CPU1() prevents r0 and r1 from both ending up equal to 1.
423 void CPU1(void)
439 example, ordering would still be preserved if CPU1()'s smp_load_acquire()
443 before CPU1()'s store to z, but this is not the case:
452 void CPU1(void)
491 void CPU1(void)
507 * CPU0 - waker CPU1 - waiter
519 On CPU1, prepare_to_wait() contains both a store to wq_head and a call
522 CPU1 puts the waiting task to sleep and CPU0 fails to wake it up.
547 write-to-write relation between the last access of CPU1() and