hyp_alloc_private_va_range
int hyp_alloc_private_va_range(size_t size, unsigned long *haddr);
ret = hyp_alloc_private_va_range(size, &addr);