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

MFC 303713: Correct assertion on vcpuid argument to vm_gpa_hold().

2016-09-09 20:30:36 +00:00

Makefile

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

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