__pkvm_alloc_private_va_range
ret = __pkvm_alloc_private_va_range(addr, PMD_SIZE);
ret = __pkvm_alloc_private_va_range(addr, size);