writew(0x10, ESB_RELOAD_REG);
writew(ESB_WDT_RELOAD, ESB_RELOAD_REG);
static void esb_timer_keepalive(void){	spin_lock(&esb_lock);	esb_unlock_registers();	writew(0x10, ESB_RELOAD_REG);        /* FIXME: Do we need to flush anything here? */	spin_unlock(&esb_lock);}