2 * Copyright (c) 2011 NetApp, Inc.
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
8 * 1. Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
10 * 2. Redistributions in binary form must reproduce the above copyright
11 * notice, this list of conditions and the following disclaimer in the
12 * documentation and/or other materials provided with the distribution.
14 * THIS SOFTWARE IS PROVIDED BY NETAPP, INC ``AS IS'' AND
15 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17 * ARE DISCLAIMED. IN NO EVENT SHALL NETAPP, INC OR CONTRIBUTORS BE LIABLE
18 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
20 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
29 #include <sys/cdefs.h>
30 __FBSDID("$FreeBSD$");
32 #include <sys/param.h>
33 #include <sys/kernel.h>
34 #include <sys/malloc.h>
35 #include <sys/systm.h>
38 #include <machine/clock.h>
39 #include <x86/specialreg.h>
40 #include <x86/apicreg.h>
42 #include <machine/vmm.h>
44 #include "vmm_lapic.h"
49 #define VLAPIC_CTR0(vlapic, format) \
50 VMM_CTR0((vlapic)->vm, (vlapic)->vcpuid, format)
52 #define VLAPIC_CTR1(vlapic, format, p1) \
53 VMM_CTR1((vlapic)->vm, (vlapic)->vcpuid, format, p1)
55 #define VLAPIC_CTR_IRR(vlapic, msg) \
57 uint32_t *irrptr = &(vlapic)->apic.irr0; \
58 irrptr[0] = irrptr[0]; /* silence compiler */ \
59 VLAPIC_CTR1((vlapic), msg " irr0 0x%08x", irrptr[0 << 2]); \
60 VLAPIC_CTR1((vlapic), msg " irr1 0x%08x", irrptr[1 << 2]); \
61 VLAPIC_CTR1((vlapic), msg " irr2 0x%08x", irrptr[2 << 2]); \
62 VLAPIC_CTR1((vlapic), msg " irr3 0x%08x", irrptr[3 << 2]); \
63 VLAPIC_CTR1((vlapic), msg " irr4 0x%08x", irrptr[4 << 2]); \
64 VLAPIC_CTR1((vlapic), msg " irr5 0x%08x", irrptr[5 << 2]); \
65 VLAPIC_CTR1((vlapic), msg " irr6 0x%08x", irrptr[6 << 2]); \
66 VLAPIC_CTR1((vlapic), msg " irr7 0x%08x", irrptr[7 << 2]); \
69 #define VLAPIC_CTR_ISR(vlapic, msg) \
71 uint32_t *isrptr = &(vlapic)->apic.isr0; \
72 isrptr[0] = isrptr[0]; /* silence compiler */ \
73 VLAPIC_CTR1((vlapic), msg " isr0 0x%08x", isrptr[0 << 2]); \
74 VLAPIC_CTR1((vlapic), msg " isr1 0x%08x", isrptr[1 << 2]); \
75 VLAPIC_CTR1((vlapic), msg " isr2 0x%08x", isrptr[2 << 2]); \
76 VLAPIC_CTR1((vlapic), msg " isr3 0x%08x", isrptr[3 << 2]); \
77 VLAPIC_CTR1((vlapic), msg " isr4 0x%08x", isrptr[4 << 2]); \
78 VLAPIC_CTR1((vlapic), msg " isr5 0x%08x", isrptr[5 << 2]); \
79 VLAPIC_CTR1((vlapic), msg " isr6 0x%08x", isrptr[6 << 2]); \
80 VLAPIC_CTR1((vlapic), msg " isr7 0x%08x", isrptr[7 << 2]); \
83 static MALLOC_DEFINE(M_VLAPIC, "vlapic", "vlapic");
85 #define PRIO(x) ((x) >> 4)
87 #define VLAPIC_VERSION (16)
88 #define VLAPIC_MAXLVT_ENTRIES (5)
90 #define x2apic(vlapic) (((vlapic)->msr_apicbase & APICBASE_X2APIC) ? 1 : 0)
102 struct io_region *mmio;
103 struct vdev_ops *ops;
112 * The 'isrvec_stk' is a stack of vectors injected by the local apic.
113 * A vector is popped from the stack when the processor does an EOI.
114 * The vector on the top of the stack is used to compute the
115 * Processor Priority in conjunction with the TPR.
117 uint8_t isrvec_stk[ISRVEC_STK_SIZE];
120 uint64_t msr_apicbase;
121 enum boot_state boot_state;
124 #define VLAPIC_BUS_FREQ tsc_freq
127 vlapic_timer_divisor(uint32_t dcr)
145 panic("vlapic_timer_divisor: invalid dcr 0x%08x", dcr);
150 vlapic_mask_lvts(uint32_t *lvts, int num_lvt)
153 for (i = 0; i < num_lvt; i++) {
161 vlapic_dump_lvt(uint32_t offset, uint32_t *lvt)
163 printf("Offset %x: lvt %08x (V:%02x DS:%x M:%x)\n", offset,
164 *lvt, *lvt & APIC_LVTT_VECTOR, *lvt & APIC_LVTT_DS,
170 vlapic_get_ccr(struct vlapic *vlapic)
172 struct LAPIC *lapic = &vlapic->apic;
173 return lapic->ccr_timer;
177 vlapic_update_errors(struct vlapic *vlapic)
179 struct LAPIC *lapic = &vlapic->apic;
180 lapic->esr = 0; // XXX
184 vlapic_init_ipi(struct vlapic *vlapic)
186 struct LAPIC *lapic = &vlapic->apic;
187 lapic->version = VLAPIC_VERSION;
188 lapic->version |= (VLAPIC_MAXLVT_ENTRIES < MAXLVTSHIFT);
189 lapic->dfr = 0xffffffff;
190 lapic->svr = APIC_SVR_VECTOR;
191 vlapic_mask_lvts(&lapic->lvt_timer, VLAPIC_MAXLVT_ENTRIES+1);
195 vlapic_op_reset(void* dev)
197 struct vlapic *vlapic = (struct vlapic*)dev;
198 struct LAPIC *lapic = &vlapic->apic;
200 memset(lapic, 0, sizeof(*lapic));
201 lapic->apr = vlapic->vcpuid;
202 vlapic_init_ipi(vlapic);
203 vlapic->divisor = vlapic_timer_divisor(lapic->dcr_timer);
205 if (vlapic->vcpuid == 0)
206 vlapic->boot_state = BS_RUNNING; /* BSP */
208 vlapic->boot_state = BS_INIT; /* AP */
215 vlapic_op_init(void* dev)
217 struct vlapic *vlapic = (struct vlapic*)dev;
218 vdev_register_region(vlapic->ops, vlapic, vlapic->mmio);
219 return vlapic_op_reset(dev);
223 vlapic_op_halt(void* dev)
225 struct vlapic *vlapic = (struct vlapic*)dev;
226 vdev_unregister_region(vlapic, vlapic->mmio);
232 vlapic_set_intr_ready(struct vlapic *vlapic, int vector)
234 struct LAPIC *lapic = &vlapic->apic;
238 if (vector < 0 || vector >= 256)
239 panic("vlapic_set_intr_ready: invalid vector %d\n", vector);
241 idx = (vector / 32) * 4;
242 irrptr = &lapic->irr0;
243 atomic_set_int(&irrptr[idx], 1 << (vector % 32));
244 VLAPIC_CTR_IRR(vlapic, "vlapic_set_intr_ready");
248 vlapic_start_timer(struct vlapic *vlapic, uint32_t elapsed)
252 icr_timer = vlapic->apic.icr_timer;
254 vlapic->ccr_ticks = ticks;
255 if (elapsed < icr_timer)
256 vlapic->apic.ccr_timer = icr_timer - elapsed;
259 * This can happen when the guest is trying to run its local
260 * apic timer higher that the setting of 'hz' in the host.
262 * We deal with this by running the guest local apic timer
263 * at the rate of the host's 'hz' setting.
265 vlapic->apic.ccr_timer = 0;
269 static __inline uint32_t *
270 vlapic_get_lvt(struct vlapic *vlapic, uint32_t offset)
272 struct LAPIC *lapic = &vlapic->apic;
275 if (offset < APIC_OFFSET_TIMER_LVT || offset > APIC_OFFSET_ERROR_LVT) {
276 panic("vlapic_get_lvt: invalid LVT\n");
278 i = (offset - APIC_OFFSET_TIMER_LVT) >> 2;
279 return ((&lapic->lvt_timer) + i);;
284 dump_isrvec_stk(struct vlapic *vlapic)
289 isrptr = &vlapic->apic.isr0;
290 for (i = 0; i < 8; i++)
291 printf("ISR%d 0x%08x\n", i, isrptr[i * 4]);
293 for (i = 0; i <= vlapic->isrvec_stk_top; i++)
294 printf("isrvec_stk[%d] = %d\n", i, vlapic->isrvec_stk[i]);
299 * Algorithm adopted from section "Interrupt, Task and Processor Priority"
300 * in Intel Architecture Manual Vol 3a.
303 vlapic_update_ppr(struct vlapic *vlapic)
305 int isrvec, tpr, ppr;
308 * Note that the value on the stack at index 0 is always 0.
310 * This is a placeholder for the value of ISRV when none of the
311 * bits is set in the ISRx registers.
313 isrvec = vlapic->isrvec_stk[vlapic->isrvec_stk_top];
314 tpr = vlapic->apic.tpr;
318 int i, lastprio, curprio, vector, idx;
321 if (vlapic->isrvec_stk_top == 0 && isrvec != 0)
322 panic("isrvec_stk is corrupted: %d", isrvec);
325 * Make sure that the priority of the nested interrupts is
329 for (i = 1; i <= vlapic->isrvec_stk_top; i++) {
330 curprio = PRIO(vlapic->isrvec_stk[i]);
331 if (curprio <= lastprio) {
332 dump_isrvec_stk(vlapic);
333 panic("isrvec_stk does not satisfy invariant");
339 * Make sure that each bit set in the ISRx registers has a
340 * corresponding entry on the isrvec stack.
343 isrptr = &vlapic->apic.isr0;
344 for (vector = 0; vector < 256; vector++) {
345 idx = (vector / 32) * 4;
346 if (isrptr[idx] & (1 << (vector % 32))) {
347 if (i > vlapic->isrvec_stk_top ||
348 vlapic->isrvec_stk[i] != vector) {
349 dump_isrvec_stk(vlapic);
350 panic("ISR and isrvec_stk out of sync");
358 if (PRIO(tpr) >= PRIO(isrvec))
363 vlapic->apic.ppr = ppr;
364 VLAPIC_CTR1(vlapic, "vlapic_update_ppr 0x%02x", ppr);
368 vlapic_process_eoi(struct vlapic *vlapic)
370 struct LAPIC *lapic = &vlapic->apic;
374 isrptr = &lapic->isr0;
377 * The x86 architecture reserves the the first 32 vectors for use
380 for (i = 7; i > 0; i--) {
382 bitpos = fls(isrptr[idx]);
384 if (vlapic->isrvec_stk_top <= 0) {
385 panic("invalid vlapic isrvec_stk_top %d",
386 vlapic->isrvec_stk_top);
388 isrptr[idx] &= ~(1 << (bitpos - 1));
389 VLAPIC_CTR_ISR(vlapic, "vlapic_process_eoi");
390 vlapic->isrvec_stk_top--;
391 vlapic_update_ppr(vlapic);
398 vlapic_get_lvt_field(uint32_t *lvt, uint32_t mask)
400 return (*lvt & mask);
404 vlapic_periodic_timer(struct vlapic *vlapic)
408 lvt = vlapic_get_lvt(vlapic, APIC_OFFSET_TIMER_LVT);
410 return (vlapic_get_lvt_field(lvt, APIC_LVTT_TM_PERIODIC));
414 vlapic_fire_timer(struct vlapic *vlapic)
419 lvt = vlapic_get_lvt(vlapic, APIC_OFFSET_TIMER_LVT);
421 if (!vlapic_get_lvt_field(lvt, APIC_LVTT_M)) {
422 vector = vlapic_get_lvt_field(lvt,APIC_LVTT_VECTOR);
423 vlapic_set_intr_ready(vlapic, vector);
428 lapic_process_icr(struct vlapic *vlapic, uint64_t icrval)
432 uint32_t dest, vec, mode;
433 struct vlapic *vlapic2;
434 struct vm_exit *vmexit;
439 dest = icrval >> (32 + 24);
440 vec = icrval & APIC_VECTOR_MASK;
441 mode = icrval & APIC_DELMODE_MASK;
443 if (mode == APIC_DELMODE_FIXED || mode == APIC_DELMODE_NMI) {
444 switch (icrval & APIC_DEST_MASK) {
445 case APIC_DEST_DESTFLD:
446 CPU_SETOF(dest, &dmask);
449 CPU_SETOF(vlapic->vcpuid, &dmask);
451 case APIC_DEST_ALLISELF:
452 dmask = vm_active_cpus(vlapic->vm);
454 case APIC_DEST_ALLESELF:
455 dmask = vm_active_cpus(vlapic->vm);
456 CPU_CLR(vlapic->vcpuid, &dmask);
460 while ((i = cpusetobj_ffs(&dmask)) != 0) {
463 if (mode == APIC_DELMODE_FIXED)
464 lapic_set_intr(vlapic->vm, i, vec);
466 vm_inject_nmi(vlapic->vm, i);
469 return (0); /* handled completely in the kernel */
472 if (mode == APIC_DELMODE_INIT) {
473 if ((icrval & APIC_LEVEL_MASK) == APIC_LEVEL_DEASSERT)
476 if (vlapic->vcpuid == 0 && dest != 0 && dest < VM_MAXCPU) {
477 vlapic2 = vm_lapic(vlapic->vm, dest);
479 /* move from INIT to waiting-for-SIPI state */
480 if (vlapic2->boot_state == BS_INIT) {
481 vlapic2->boot_state = BS_SIPI;
488 if (mode == APIC_DELMODE_STARTUP) {
489 if (vlapic->vcpuid == 0 && dest != 0 && dest < VM_MAXCPU) {
490 vlapic2 = vm_lapic(vlapic->vm, dest);
493 * Ignore SIPIs in any state other than wait-for-SIPI
495 if (vlapic2->boot_state != BS_SIPI)
498 vmexit = vm_exitinfo(vlapic->vm, vlapic->vcpuid);
499 vmexit->exitcode = VM_EXITCODE_SPINUP_AP;
500 vmexit->u.spinup_ap.vcpu = dest;
501 vmexit->u.spinup_ap.rip = vec << PAGE_SHIFT;
504 * XXX this assumes that the startup IPI always succeeds
506 vlapic2->boot_state = BS_RUNNING;
507 vm_activate_cpu(vlapic2->vm, dest);
514 * This will cause a return to userland.
520 vlapic_pending_intr(struct vlapic *vlapic)
522 struct LAPIC *lapic = &vlapic->apic;
523 int idx, i, bitpos, vector;
524 uint32_t *irrptr, val;
526 irrptr = &lapic->irr0;
529 * The x86 architecture reserves the the first 32 vectors for use
532 for (i = 7; i > 0; i--) {
534 val = atomic_load_acq_int(&irrptr[idx]);
537 vector = i * 32 + (bitpos - 1);
538 if (PRIO(vector) > PRIO(lapic->ppr)) {
539 VLAPIC_CTR1(vlapic, "pending intr %d", vector);
545 VLAPIC_CTR0(vlapic, "no pending intr");
550 vlapic_intr_accepted(struct vlapic *vlapic, int vector)
552 struct LAPIC *lapic = &vlapic->apic;
553 uint32_t *irrptr, *isrptr;
557 * clear the ready bit for vector being accepted in irr
558 * and set the vector as in service in isr.
560 idx = (vector / 32) * 4;
562 irrptr = &lapic->irr0;
563 atomic_clear_int(&irrptr[idx], 1 << (vector % 32));
564 VLAPIC_CTR_IRR(vlapic, "vlapic_intr_accepted");
566 isrptr = &lapic->isr0;
567 isrptr[idx] |= 1 << (vector % 32);
568 VLAPIC_CTR_ISR(vlapic, "vlapic_intr_accepted");
573 vlapic->isrvec_stk_top++;
575 stk_top = vlapic->isrvec_stk_top;
576 if (stk_top >= ISRVEC_STK_SIZE)
577 panic("isrvec_stk_top overflow %d", stk_top);
579 vlapic->isrvec_stk[stk_top] = vector;
580 vlapic_update_ppr(vlapic);
584 vlapic_op_mem_read(void* dev, uint64_t gpa, opsize_t size, uint64_t *data)
586 struct vlapic *vlapic = (struct vlapic*)dev;
587 struct LAPIC *lapic = &vlapic->apic;
588 uint64_t offset = gpa & ~(PAGE_SIZE);
592 if (offset > sizeof(*lapic)) {
602 *data = vlapic->vcpuid;
604 *data = vlapic->vcpuid << 24;
606 case APIC_OFFSET_VER:
607 *data = lapic->version;
609 case APIC_OFFSET_TPR:
612 case APIC_OFFSET_APR:
615 case APIC_OFFSET_PPR:
618 case APIC_OFFSET_EOI:
621 case APIC_OFFSET_LDR:
624 case APIC_OFFSET_DFR:
627 case APIC_OFFSET_SVR:
630 case APIC_OFFSET_ISR0 ... APIC_OFFSET_ISR7:
631 i = (offset - APIC_OFFSET_ISR0) >> 2;
635 case APIC_OFFSET_TMR0 ... APIC_OFFSET_TMR7:
636 i = (offset - APIC_OFFSET_TMR0) >> 2;
640 case APIC_OFFSET_IRR0 ... APIC_OFFSET_IRR7:
641 i = (offset - APIC_OFFSET_IRR0) >> 2;
643 *data = atomic_load_acq_int(reg + i);
645 case APIC_OFFSET_ESR:
648 case APIC_OFFSET_ICR_LOW:
649 *data = lapic->icr_lo;
651 case APIC_OFFSET_ICR_HI:
652 *data = lapic->icr_hi;
654 case APIC_OFFSET_TIMER_LVT ... APIC_OFFSET_ERROR_LVT:
655 reg = vlapic_get_lvt(vlapic, offset);
658 case APIC_OFFSET_ICR:
659 *data = lapic->icr_timer;
661 case APIC_OFFSET_CCR:
662 *data = vlapic_get_ccr(vlapic);
664 case APIC_OFFSET_DCR:
665 *data = lapic->dcr_timer;
667 case APIC_OFFSET_RRR:
676 vlapic_op_mem_write(void* dev, uint64_t gpa, opsize_t size, uint64_t data)
678 struct vlapic *vlapic = (struct vlapic*)dev;
679 struct LAPIC *lapic = &vlapic->apic;
680 uint64_t offset = gpa & ~(PAGE_SIZE);
684 if (offset > sizeof(*lapic)) {
694 case APIC_OFFSET_TPR:
695 lapic->tpr = data & 0xff;
696 vlapic_update_ppr(vlapic);
698 case APIC_OFFSET_EOI:
699 vlapic_process_eoi(vlapic);
701 case APIC_OFFSET_LDR:
703 case APIC_OFFSET_DFR:
705 case APIC_OFFSET_SVR:
708 case APIC_OFFSET_ICR_LOW:
709 if (!x2apic(vlapic)) {
711 data |= (uint64_t)lapic->icr_hi << 32;
713 retval = lapic_process_icr(vlapic, data);
715 case APIC_OFFSET_ICR_HI:
716 if (!x2apic(vlapic)) {
718 lapic->icr_hi = data;
721 case APIC_OFFSET_TIMER_LVT ... APIC_OFFSET_ERROR_LVT:
722 reg = vlapic_get_lvt(vlapic, offset);
723 if (!(lapic->svr & APIC_SVR_ENABLE)) {
727 // vlapic_dump_lvt(offset, reg);
729 case APIC_OFFSET_ICR:
730 lapic->icr_timer = data;
731 vlapic_start_timer(vlapic, 0);
734 case APIC_OFFSET_DCR:
735 lapic->dcr_timer = data;
736 vlapic->divisor = vlapic_timer_divisor(data);
739 case APIC_OFFSET_ESR:
740 vlapic_update_errors(vlapic);
742 case APIC_OFFSET_VER:
743 case APIC_OFFSET_APR:
744 case APIC_OFFSET_PPR:
745 case APIC_OFFSET_RRR:
746 case APIC_OFFSET_ISR0 ... APIC_OFFSET_ISR7:
747 case APIC_OFFSET_TMR0 ... APIC_OFFSET_TMR7:
748 case APIC_OFFSET_IRR0 ... APIC_OFFSET_IRR7:
749 case APIC_OFFSET_CCR:
759 vlapic_timer_tick(struct vlapic *vlapic)
761 int curticks, delta, periodic, fired;
763 uint32_t decrement, leftover;
767 delta = curticks - vlapic->ccr_ticks;
769 /* Local APIC timer is disabled */
770 if (vlapic->apic.icr_timer == 0)
773 /* One-shot mode and timer has already counted down to zero */
774 periodic = vlapic_periodic_timer(vlapic);
775 if (!periodic && vlapic->apic.ccr_timer == 0)
778 * The 'curticks' and 'ccr_ticks' are out of sync by more than
779 * 2^31 ticks. We deal with this by restarting the timer.
782 vlapic_start_timer(vlapic, 0);
787 decrement = (VLAPIC_BUS_FREQ / vlapic->divisor) / hz;
789 vlapic->ccr_ticks = curticks;
790 ccr = vlapic->apic.ccr_timer;
792 while (delta-- > 0) {
793 if (ccr > decrement) {
798 /* Trigger the local apic timer interrupt */
799 vlapic_fire_timer(vlapic);
801 leftover = decrement - ccr;
802 vlapic_start_timer(vlapic, leftover);
803 ccr = vlapic->apic.ccr_timer;
806 * One-shot timer has counted down to zero.
814 vlapic->apic.ccr_timer = ccr;
817 return ((ccr / decrement) + 1);
822 struct vdev_ops vlapic_dev_ops = {
824 .init = vlapic_op_init,
825 .reset = vlapic_op_reset,
826 .halt = vlapic_op_halt,
827 .memread = vlapic_op_mem_read,
828 .memwrite = vlapic_op_mem_write,
830 static struct io_region vlapic_mmio[VM_MAXCPU];
833 vlapic_init(struct vm *vm, int vcpuid)
835 struct vlapic *vlapic;
837 vlapic = malloc(sizeof(struct vlapic), M_VLAPIC, M_WAITOK | M_ZERO);
839 vlapic->vcpuid = vcpuid;
841 vlapic->msr_apicbase = DEFAULT_APIC_BASE | APICBASE_ENABLED;
844 vlapic->msr_apicbase |= APICBASE_BSP;
846 vlapic->ops = &vlapic_dev_ops;
848 vlapic->mmio = vlapic_mmio + vcpuid;
849 vlapic->mmio->base = DEFAULT_APIC_BASE;
850 vlapic->mmio->len = PAGE_SIZE;
851 vlapic->mmio->attr = MMIO_READ|MMIO_WRITE;
852 vlapic->mmio->vcpu = vcpuid;
854 vdev_register(&vlapic_dev_ops, vlapic);
856 vlapic_op_init(vlapic);
862 vlapic_cleanup(struct vlapic *vlapic)
864 vlapic_op_halt(vlapic);
865 vdev_unregister(vlapic);
866 free(vlapic, M_VLAPIC);
870 vlapic_get_apicbase(struct vlapic *vlapic)
873 return (vlapic->msr_apicbase);
877 vlapic_set_apicbase(struct vlapic *vlapic, uint64_t val)
880 enum x2apic_state state;
882 err = vm_get_x2apic_state(vlapic->vm, vlapic->vcpuid, &state);
884 panic("vlapic_set_apicbase: err %d fetching x2apic state", err);
886 if (state == X2APIC_DISABLED)
887 val &= ~APICBASE_X2APIC;
889 vlapic->msr_apicbase = val;
893 vlapic_set_x2apic_state(struct vm *vm, int vcpuid, enum x2apic_state state)
895 struct vlapic *vlapic;
897 vlapic = vm_lapic(vm, vcpuid);
899 if (state == X2APIC_DISABLED)
900 vlapic->msr_apicbase &= ~APICBASE_X2APIC;