skge_read32
r = skge_read32(hw, B2_GP_IO);
u32 reg = skge_read32(hw, B2_GP_IO);
skge_read32(hw, B2_GP_IO);
u32 reg = skge_read32(hw, B2_GP_IO);
reg = skge_read32(hw, B2_FAR);
reg = skge_read32(hw, B2_GP_IO);
reg = skge_read32(hw, B2_GP_IO);
skge_read32(hw, B0_IMSK);
skge_read32(hw, B0_IMSK);
skge_read32(hw, B0_IMSK);
u32 hwstatus = skge_read32(hw, B0_HWE_ISRC);
hwstatus = skge_read32(hw, B0_HWE_ISRC);
skge_read32(hw, B0_IMSK);
status = skge_read32(hw, B0_SP_ISRC);
skge_read32(hw, B0_IMSK);
if ((skge_read32(hw, B0_ISRC) & IS_HW_ERR) &&
(skge_read32(hw, B0_HWE_ISRC) & IS_IRQ_SENSOR)) {
seq_printf(seq, "IRQ src=%x mask=%x\n", skge_read32(hw, B0_ISRC),
skge_read32(hw, B0_IMSK));
skge_read32(hw, B0_IMSK);
if (skge_read32(hw, B2_IRQM_CTRL) & TIM_START) {
u32 delay = skge_clk2usec(hw, skge_read32(hw, B2_IRQM_INI));
u32 msk = skge_read32(hw, B2_IRQM_MSK);
u32 msk = skge_read32(hw, B2_IRQM_MSK);