machine_powerdown  101 bsp/drv/arm/gba/keypad.c 		machine_powerdown(PWR_REBOOT);
machine_powerdown  189 bsp/drv/dev/base/kd.c 	machine_powerdown(PWR_REBOOT);
machine_powerdown  285 bsp/drv/dev/base/pm.c 	machine_powerdown(PWR_SUSPEND);
machine_powerdown  313 bsp/drv/dev/base/pm.c 	machine_powerdown(PWR_OFF);
machine_powerdown  328 bsp/drv/dev/base/pm.c 	machine_powerdown(PWR_REBOOT);
machine_powerdown  193 bsp/drv/dev/input/pckbd.c 		machine_powerdown(PWR_REBOOT);
machine_powerdown  148 bsp/drv/include/dki.h void	 machine_powerdown(int);
machine_powerdown  131 sys/include/hal.h void	  machine_powerdown(int);
machine_powerdown  106 sys/kern/device.c 	/* 32 */ DKIENT(machine_powerdown),