IGC_BASET_L
return (rd32(IGC_BASET_H) || rd32(IGC_BASET_L)) &&
if (!(rd32(IGC_BASET_H) || rd32(IGC_BASET_L)))
wr32(IGC_BASET_L, 0);
wr32(IGC_BASET_L, baset_l);