Unless I am reading this wrong, user_gen_exception is an entrance to the kernel. but here we explicitly state "k1 already has curlwp". There is nothing stopping userland from modifying k0/k1. Isn't this unsafe? I'm not sure why I can't cause trouble with this. Thanks.