SMC in tz_vmm