--- ./arch/parisc/kernel/power.c	Tue Jul  2 15:17:59 2002
+++ ./arch/parisc/kernel/power.c	Wed Jul  3 16:28:47 2002
@@ -55,6 +55,7 @@
 #include <asm/led.h>
 #include <asm/uaccess.h>
 
+#define DEBUG
 
 #ifdef DEBUG
 # define DPRINTK(x) printk x
@@ -123,6 +124,8 @@
 /* check, give feedback and start shutdown after one second */
 static void process_shutdown(void)
 {
+	DPRINTK((KERN_INFO "Processing shutodwn...\n"));
+
 	if (shutdown_timer == 0)
 		DPRINTK((KERN_INFO "Shutdown requested...\n"));
 
@@ -181,7 +184,12 @@
 static void polling_tasklet_func(unsigned long soft_power_reg)
 {
         unsigned long current_status;
-	
+
+#ifdef DEBUG
+	/* CAO July 3, 2002 - Prove we are using gecko tasklet */
+	BUG();
+#endif
+
 	if (!pwrsw_enabled)
 		return;
 
@@ -362,6 +370,8 @@
 	power_remove_procfs();
 	power_tasklet.func = NULL;
 	pdc_soft_power_button(0);
+
+	printk(KERN_INFO "Soft power switch disabled.\n");
 }
 
 module_init(power_init);