hma_vmx_invept_allcpus
hma_vmx_invept_allcpus((uintptr_t)vmx->eptp);
extern void hma_vmx_invept_allcpus(uintptr_t);