vmm/io/vlapic.c

61 #define	x2apic(vlapic)	(((vlapic)->msr_apicbase & APICBASE_X2APIC) ? 1 : 0)
84 	if (x2apic(vlapic))
108 	if (x2apic(vlapic)) {
109 		VM_CTR1(vlapic->vm, "ignoring write to DFR in x2apic mode: %#x",
133 	/* LDR is read-only in x2apic mode */
134 	if (x2apic(vlapic)) {
135 		VLAPIC_CTR1(vlapic, "ignoring write to LDR in x2apic mode: %#x",
881 				if (x2apic(vlapic)) {
972 	if (x2apic(vlapic))
992 			    x2apic(vlapic));
1077 	KASSERT(x2apic(vlapic), ("SELF_IPI does not exist in xAPIC mode"));
1198 	if (x2apic(vlapic) && mmio_access) {
1205 	if (!x2apic(vlapic) && !mmio_access) {
1270 			if (x2apic(vlapic))
1296 			 * XXX generate a GP fault if vlapic is in x2apic mode
1328 	if (x2apic(vlapic) && mmio_access) {
1337 	if (!x2apic(vlapic) && !mmio_access) {
1370 			if (x2apic(vlapic))
1398 			if (x2apic(vlapic))
1455 	 * If the vlapic is configured in x2apic mode then it will be
1520 	if (x2apic(vlapic)) {