Thanks for the clarification Chris, I see what you mean with kobj_set_ctf(). I've fixed the code to hold mod_lock across ctf_modopen(). The fix has been backported to 4.1, 4.0 and 3.2 VirtualBox branches.