OBIO_PUSHBUTTON
reg = obio_read_4(OBIO_PUSHBUTTON);
obio_write_4(OBIO_PUSHBUTTON, reg | 0xf);
DPRINTF("PB: %08x\n", obio_read_4(OBIO_PUSHBUTTON));