Ed Schouten 48734c99d3 Convert pointers obtained from the threadattr_t structure with TO_PTR(). ... In all of these source files, the userspace pointer size corresponds with the kernelspace pointer size, meaning that casting directly works. As I'm planning on making 32-bit execution on 64-bit systems work as well, use TO_PTR() here as well, so that the changes between source files remain minimal.		2016-08-24 10:13:18 +00:00
..
acpica	Add ARM64TODO comments to ACPI PCI stubs	2015-07-12 18:32:16 +00:00
arm64	Also adjust the virtual address passed to vm_page_pa_tryrelock.	2016-08-23 16:37:34 +00:00
cavium	Remove the non-INTRNG support from the ThunderX PCIe drivers.	2016-07-14 17:23:49 +00:00
cloudabi64	Convert pointers obtained from the threadattr_t structure with TO_PTR().	2016-08-24 10:13:18 +00:00
conf	Add a generic EHCI USB driver based on the Allwinner A10 driver. It is ACPI	2016-07-29 08:50:36 +00:00
include	Implement userspace gettimeofday(2) with HPET timecounter.	2016-08-17 09:52:09 +00:00