Tycho Nightingale 58a6aaf7ec Provide further mitigation against CVE-2017-5715 by flushing the ...

return stack buffer (RSB) upon returning from the guest.

This was inspired by this linux commit:
https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/arch/x86/kvm?id=117cc7a908c83697b0b737d15ae1eb5943afe35b

Reviewed by:	grehan
Sponsored by:	Dell EMC Isilon
Differential Revision:	https://reviews.freebsd.org/D14272

2018-02-12 14:45:27 +00:00

..

amd

Provide further mitigation against CVE-2017-5715 by flushing the

2018-02-12 14:45:27 +00:00

intel

Provide further mitigation against CVE-2017-5715 by flushing the

2018-02-12 14:45:27 +00:00

io

sys/amd64: further adoption of SPDX licensing ID tags.

2017-11-27 15:03:07 +00:00

vmm_dev.c

sys/amd64: further adoption of SPDX licensing ID tags.

2017-11-27 15:03:07 +00:00

vmm_host.c

sys/amd64: further adoption of SPDX licensing ID tags.

2017-11-27 15:03:07 +00:00

vmm_host.h

sys/amd64: further adoption of SPDX licensing ID tags.

2017-11-27 15:03:07 +00:00

vmm_instruction_emul.c

sys/amd64: further adoption of SPDX licensing ID tags.

2017-11-27 15:03:07 +00:00

vmm_ioport.c

Don't require <sys/cpuset.h> to be always included before <machine/vmm.h>.

2015-04-30 22:23:22 +00:00

vmm_ioport.h

Change the type of the first argument to the I/O emulation handlers to

2014-10-26 19:03:06 +00:00

vmm_ktr.h

sys/amd64: further adoption of SPDX licensing ID tags.

2017-11-27 15:03:07 +00:00

vmm_lapic.c

sys/amd64: further adoption of SPDX licensing ID tags.

2017-11-27 15:03:07 +00:00

vmm_lapic.h

sys/amd64: further adoption of SPDX licensing ID tags.

2017-11-27 15:03:07 +00:00

vmm_mem.c

sys/amd64: further adoption of SPDX licensing ID tags.

2017-11-27 15:03:07 +00:00

vmm_mem.h

sys/amd64: further adoption of SPDX licensing ID tags.

2017-11-27 15:03:07 +00:00

vmm_stat.c

sys/amd64: further adoption of SPDX licensing ID tags.

2017-11-27 15:03:07 +00:00

vmm_stat.h

sys: further adoption of SPDX licensing ID tags.

2017-11-20 19:43:44 +00:00

vmm_util.c

sys/amd64: further adoption of SPDX licensing ID tags.

2017-11-27 15:03:07 +00:00

vmm_util.h

sys/amd64: further adoption of SPDX licensing ID tags.

2017-11-27 15:03:07 +00:00

vmm.c

PTI for amd64.

2018-01-17 11:44:21 +00:00

x86.c

sys/amd64: further adoption of SPDX licensing ID tags.

2017-11-27 15:03:07 +00:00

x86.h

sys/amd64: further adoption of SPDX licensing ID tags.

2017-11-27 15:03:07 +00:00