Lines Matching full:cpu0

32 	void CPU0(void)
48 The basic rule guarantees that if CPU0() acquires mylock before CPU1(),
64 	void CPU0(void)
80 This converse to the basic rule guarantees that if CPU0() acquires
99 	void CPU0(void)
113 	/* CPU1() is the exactly the same as CPU0(). */
124 	void CPU0(void)
138 	/* CPU1() is the exactly the same as CPU0(). */
160 	void CPU0(void)
193 	void CPU0(void)
238 	void CPU0(void)
259 CPU0() sets it to "1" while holding the lock, and CPU1() emulates the
268 which should not happen given the filter clause because CPU0() updates
275 	void CPU0(void)
297 If "1:r0" is equal to "0", "1:r1" can never equal "1" because CPU0()