pkvm_alloc_private_va_range
int pkvm_alloc_private_va_range(size_t size, unsigned long *haddr);
err = pkvm_alloc_private_va_range(size, &addr);
ret = pkvm_alloc_private_va_range(PAGE_SIZE, &addr);