1 /*-
2  * SPDX-License-Identifier: BSD-2-Clause
43  * Some MSI message definitions
99 	VM_CTR2(vm, "lapic MSI addr: %#lx msg: %#lx", addr, msg);  in lapic_intr_msi()
102 		VM_CTR1(vm, "lapic MSI invalid addr %#lx", addr);  in lapic_intr_msi()
103 		return (-1);  in lapic_intr_msi()
107 	 * Extract the x86-specific fields from the MSI addr/msg  in lapic_intr_msi()
111 	 * MSI/MSI-X so ignore trigger level in 'msg'.  in lapic_intr_msi()
119 	 * Extended Destination ID support uses bits 5-11 of the address:  in lapic_intr_msi()
128 	VM_CTR3(vm, "lapic MSI %s dest %#x, vec %d",  in lapic_intr_msi()
145 	return ((msr - 0x800) << 4);  in x2apic_msr_to_regoff()
159 	u_int offset;  in lapic_rdmsr()  local
168 		offset = x2apic_msr_to_regoff(msr);  in lapic_rdmsr()
169 		error = vlapic_read(vlapic, 0, offset, rval, retu);  in lapic_rdmsr()
179 	u_int offset;  in lapic_wrmsr()  local
187 		offset = x2apic_msr_to_regoff(msr);  in lapic_wrmsr()
188 		error = vlapic_write(vlapic, 0, offset, val, retu);  in lapic_wrmsr()
202 	off = gpa - DEFAULT_APIC_BASE;  in lapic_mmio_write()
206 	 * aligned on a 16-byte boundary.  in lapic_mmio_write()
224 	off = gpa - DEFAULT_APIC_BASE;  in lapic_mmio_read()
228 	 * 16-byte boundary.  They are also suggested to be 4 bytes  in lapic_mmio_read()