pyxis_cc          796 arch/alpha/kernel/core_cia.c 	unsigned long pyxis_cc;
pyxis_cc          799 arch/alpha/kernel/core_cia.c 	pyxis_cc = *(vulp)PYXIS_RT_COUNT;
pyxis_cc          800 arch/alpha/kernel/core_cia.c 	do { } while(*(vulp)PYXIS_RT_COUNT - pyxis_cc < 4096);