Searched refs:xvaddr (Results 1 – 1 of 1) sorted by relevance
944 void *vaddr, *xvaddr = NULL; in vmem_xalloc() local1050 ASSERT(xvaddr == NULL); in vmem_xalloc()1134 xvaddr = vaddr; in vmem_xalloc()1180 if (xvaddr) in vmem_xalloc()1181 vmp->vm_source_free(vmp->vm_source, xvaddr, xsize); in vmem_xalloc()1195 ASSERT(xvaddr == NULL); in vmem_xalloc()