/* The Au1xxx wait is available only if using 32khz counter or external timer source, but specifically not CP0 Counter. alchemy/common/time.c may override cpu_wait!  */
static void au1k_wait(void)
/* The Au1xxx wait is available only if using 32khz counter or external timer source, but specifically not CP0 Counter. alchemy/common/time.c may override cpu_wait!  */
static void au1k_wait(void)
{
	__asm__("	.set	mips3			\n"
		"	cache	0x14, 0(%0)		\n"
		"	cache	0x14, 32(%0)		\n"
		"	sync				\n"
		"	nop				\n"
		"	wait				\n"
		"	nop				\n"
		"	nop				\n"
		"	nop				\n"
		"	nop				\n"
		"	.set	mips0			\n"
		: : "r" (au1k_wait));
}