Searched refs:VCPUINFO_VCPU_RESERVED (Results 1 – 2 of 2) sorted by relevance
| /netbsd-src/sys/dev/vmt/ | ||
| H A D | vmtreg.h | 65 #define VCPUINFO_VCPU_RESERVED __BIT(31) macro |
| /netbsd-src/sys/arch/x86/x86/ | ||
| H A D | lapic.c | 285 if (ISSET(regs[0], VCPUINFO_VCPU_RESERVED) || in lapic_setup_bsp() |