Konstantin Belousov 9fc97c9010 Handle TLB shootdown IPI during the EFI runtime calls, on SandyBridge ...

and IvyBridge machines, which support PCID but do not have INVPCID
instruction.

MFC after:	1 week

2016-09-26 17:25:25 +00:00

..

acpica

sys/amd64: Small spelling fixes.

2016-05-03 22:13:04 +00:00

amd64

Handle TLB shootdown IPI during the EFI runtime calls, on SandyBridge

2016-09-26 17:25:25 +00:00

cloudabi32

Make execution of 32-bit CloudABI executables work on amd64.

2016-08-24 10:51:33 +00:00

cloudabi64

Convert pointers obtained from the threadattr_t structure with TO_PTR().

2016-08-24 10:13:18 +00:00

conf

Add kernel interfaces to call EFI Runtime Services.

2016-09-21 11:31:58 +00:00

ia32

Convert ss_sp in stack_t and sigstack to void *.

2016-01-27 17:55:01 +00:00

include

Change the efi_get_table interface to a void ** so we can return the

2016-09-22 19:04:51 +00:00

linux

Regenerate syscall provider argument strings.

2016-09-22 04:50:03 +00:00

linux32

Regenerate syscall provider argument strings.

2016-09-22 04:50:03 +00:00

pci

Pull in r267961 and r267973 again. Fix for issues reported will follow.

2014-06-28 03:56:17 +00:00

vmm

Reset PCI pass through devices via PCI-e FLR during VM start and end.

2016-09-06 21:15:35 +00:00

Makefile

Bring the tags and links entries for amd64 up to date.

2015-10-27 22:59:24 +00:00