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