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