John Baldwin c0f35dbf19 vmm: Use a cpuset_t for vCPUs waiting for STARTUP IPIs. ... Retire the boot_state member of struct vlapic and instead use a cpuset in the VM to track vCPUs waiting for STARTUP IPIs. INIT IPIs add vCPUs to this set, and STARTUP IPIs remove vCPUs from the set. STARTUP IPIs are only reported to userland for vCPUs that were removed from the set. In particular, this permits a subsequent change to allocate vCPUs on demand when the vCPU may not be allocated until after a STARTUP IPI is reported to userland. Reviewed by: corvink, markj Differential Revision: https://reviews.freebsd.org/D37173		2022-11-18 10:25:38 -08:00
..
acpica	acpica: Merge ACPICA 20221020	2022-10-27 22:04:32 -04:00
amd64	Retire broken GPROF support from the kernel	2022-11-15 14:17:10 +00:00
conf	amd64: Add FIRECRACKER kernel configuration	2022-10-17 23:02:22 -07:00
ia32	Introduce the PROC_SIGCODE() macro	2022-07-18 16:27:26 +02:00
include	vmm: Use a cpuset_t for vCPUs waiting for STARTUP IPIs.	2022-11-18 10:25:38 -08:00
linux	sys: use .S for assembly language files that use the preprocessor	2022-11-02 10:29:00 -04:00
linux32	sys: use .S for assembly language files that use the preprocessor	2022-11-02 10:29:00 -04:00
pci	pci_cfgreg.c: Use io port config access for early boot time.	2019-04-09 18:07:17 +00:00
sgx	sgx: Remove unused variable.	2022-04-07 17:01:28 -07:00
vmm	vmm: Use a cpuset_t for vCPUs waiting for STARTUP IPIs.	2022-11-18 10:25:38 -08:00
Makefile	Bring the tags and links entries for amd64 up to date.	2021-09-27 20:04:51 -07:00