Searched refs:xvaddr (Results 1 – 1 of 1) sorted by relevance
947 void *vaddr, *xvaddr = NULL; in vmem_xalloc() local1055 ASSERT(xvaddr == NULL); in vmem_xalloc()1143 xvaddr = vaddr; in vmem_xalloc()1189 if (xvaddr) in vmem_xalloc()1190 vmp->vm_source_free(vmp->vm_source, xvaddr, xsize); in vmem_xalloc()1204 ASSERT(xvaddr == NULL); in vmem_xalloc()