Searched refs:x2apic_id (Results 1 - 1 of 1) sorted by relevance
| /freebsd-10-stable/sys/amd64/vmm/ | ||
| H A D | x86.c | 93 int error, enable_invpcid, level, width, x2apic_id; local 394 x2apic_id = vcpu_id; 402 x2apic_id = vcpu_id; 409 x2apic_id = 0; 415 regs[3] = x2apic_id; |
Completed in 90 milliseconds