Lines Matching full:cpu1

40 	void CPU1(void)
48 The basic rule guarantees that if CPU0() acquires mylock before CPU1(),
72 	void CPU1(void)
81 mylock before CPU1(), then both r0 and r1 must be set to the value 0.
113 	/* CPU1() is the exactly the same as CPU0(). */
138 	/* CPU1() is the exactly the same as CPU0(). */
168 	void CPU1(void)
201 	void CPU1(void)
246 	void CPU1(void)
259 CPU0() sets it to "1" while holding the lock, and CPU1() emulates the
267 Then the "exists" clause checks to see if CPU1() acquired its lock first,
272 into CPU1()'s critical section, like this:
285 	void CPU1(void)
298 cannot update "x" while CPU1() holds the lock.  And herd7 confirms this,