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
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