Lines Matching full:cpu1
81 void CPU1(void)
89 The basic rule guarantees that if CPU0() acquires mylock before CPU1(),
107 void CPU1(void)
116 mylock before CPU1(), then both r0 and r1 must be set to the value 0.
138 void CPU1(void)
171 void CPU1(void)
226 void CPU1(void)
261 void CPU1(void)
303 void CPU1(void)
371 void CPU1(void)
379 barrier in CPU1() prevents r0 and r1 from both ending up equal to 1.
419 void CPU1(void)
435 example, ordering would still be preserved if CPU1()'s smp_load_acquire()
439 before CPU1()'s store to z, but this is not the case:
448 void CPU1(void)
487 void CPU1(void)
503 * CPU0 - waker CPU1 - waiter
515 On CPU1, prepare_to_wait() contains both a store to wq_head and a call
518 CPU1 puts the waiting task to sleep and CPU0 fails to wake it up.
543 write-to-write relation between the last access of CPU1() and