MFC_STATE1_BUS_TLBIE_MASK
MFC_STATE1_RELOCATE_MASK | MFC_STATE1_BUS_TLBIE_MASK;
MFC_STATE1_BUS_TLBIE_MASK));