DEVCPU_GCB_CHIP_REGS_CHIP_ID
write_c0_entryhi(DEVCPU_GCB_CHIP_REGS_CHIP_ID);
rev = __raw_readl((void __iomem *)DEVCPU_GCB_CHIP_REGS_CHIP_ID);