Fsmc: change Interface of getRegionPointer to make it more typesafe