Re: SMC in tz_vmm