245c245,246
< self.load_addr_mask = 0xffffffff
---
> elif machine_type == "VExpress_EMM64":
> self.realview = VExpress_EMM64()