uClinux-2.4.20-uc1/include/asm-armnommu/arch-W90N745/system.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

/*
 * linux/include/asm-armnommu/arch-W90N745/system.h
 *
 * Copyright (c) 1999 Nicolas Pitre <nico@cam.org>
 * Copyright (c) 2001 RidgeRun, Inc (http://www.ridgerun.org)
 *
 */

static inline void arch_idle(void)
{
	while (!current->need_resched && !hlt_counter);
}

extern inline void arch_reset(char mode)
{
	/* REVISIT --gmcnutt */
}