Searched defs:vpid_allocator_ (Results 1 - 1 of 1) sorted by relevance
| /fuchsia/zircon/kernel/arch/x86/include/arch/ | ||
| H A D | hypervisor.h | 58 hypervisor::IdAllocator<uint16_t, 64> TA_GUARDED(vcpu_mutex_) vpid_allocator_; member in class:Guest |
Completed in 22 milliseconds