Lines Matching full:cpu1

35 	void CPU1(void)
43 The basic rule guarantees that if CPU0() acquires mylock before CPU1(),
67 	void CPU1(void)
76 mylock before CPU1(), then both r0 and r1 must be set to the value 0.
108 	/* CPU1() is the exactly the same as CPU0(). */
133 	/* CPU1() is the exactly the same as CPU0(). */
163 	void CPU1(void)
196 	void CPU1(void)
241 	void CPU1(void)
254 CPU0() sets it to "1" while holding the lock, and CPU1() emulates the
262 Then the "exists" clause checks to see if CPU1() acquired its lock first,
267 into CPU1()'s critical section, like this:
280 	void CPU1(void)
293 cannot update "x" while CPU1() holds the lock.  And herd7 confirms this,