Memory access in tz_vmm