Searched refs:device_arena (Results 1 – 1 of 1) sorted by relevance
601 vmem_t *device_arena; variable1991 device_arena = vmem_create("device", (void *)toxic_addr, in startup_vm()3178 return (vmem_alloc(device_arena, size, vm_flag)); in device_arena_alloc()3184 vmem_free(device_arena, vaddr, size); in device_arena_free()