markj f2a1dd4de8 Regenerate syscall provider argument strings.		2016-09-22 04:50:03 +00:00
..
acpica	sys/amd64: Small spelling fixes.	2016-05-03 22:13:04 +00:00
amd64	Add kernel interfaces to call EFI Runtime Services.	2016-09-21 11:31:58 +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	Add kernel interfaces to call EFI Runtime Services.	2016-09-21 11:31:58 +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