9ns: don't pass user pointers for 'spec'
[akaros.git] / include
1 kern/include/