Searched refs:LOCKEDVMA_ID_ALLOCATOR (Results 1 – 1 of 1) sorted by relevance
57 static LOCKEDVMA_ID_ALLOCATOR: IdAllocator = IdAllocator::new(0, usize::MAX); constant1100 id: LOCKEDVMA_ID_ALLOCATOR.alloc().unwrap(), in new()1319 LOCKEDVMA_ID_ALLOCATOR.free(self.id); in drop()