VMM_MAX_VCPUS
sc->vcpu_max = VMM_MAX_VCPUS;
uint32_t vcp_asid[VMM_MAX_VCPUS];
uint32_t vmc_asid[VMM_MAX_VCPUS];