Ruslan Bukin f3d389ee9e Use __uint64_t type for floating point registers ... as compiler don't know about __uint128_t yet. Discussed with: theraven, kib		2016-02-12 14:29:14 +00:00
..
conf	o Move non-generic kernel configuration out from GENERIC.	2016-02-11 13:28:52 +00:00
htif	Stop device enumeration when we see first empty slot.	2016-02-11 11:21:45 +00:00
include	Use __uint64_t type for floating point registers	2016-02-12 14:29:14 +00:00
riscv	Include sys/_task.h into uma_int.h, so that taskqueue.h isn't a	2016-02-09 20:22:35 +00:00