Allow check_poison() to be called w/o cur_kthread
[akaros.git] / arch
1 kern/arch/