rocket_pc_readl
version = rocket_pc_readl(core, VERSION);
version += rocket_pc_readl(core, VERSION_NUM) & 0xffff;
u32 raw_status = rocket_pc_readl(core, INTERRUPT_RAW_STATUS);