And each core has an independent TLB and each TLB entry contains a VMID tag corresponding to the address.
hA-VMSI can run simultaneously and yet securely on different cores alongside the virtualized system.