Lines Matching full:cpu0

27 	void CPU0(void)
43 The basic rule guarantees that if CPU0() acquires mylock before CPU1(),
59 	void CPU0(void)
75 This converse to the basic rule guarantees that if CPU0() acquires
94 	void CPU0(void)
108 	/* CPU1() is the exactly the same as CPU0(). */
119 	void CPU0(void)
133 	/* CPU1() is the exactly the same as CPU0(). */
155 	void CPU0(void)
188 	void CPU0(void)
233 	void CPU0(void)
254 CPU0() sets it to "1" while holding the lock, and CPU1() emulates the
263 which should not happen given the filter clause because CPU0() updates
270 	void CPU0(void)
292 If "1:r0" is equal to "0", "1:r1" can never equal "1" because CPU0()