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