Terminate userspace traces early if vanishing and the cr3 was freed.
factor out user mutex stuff into mutexes.c
CURRENT() macro for sched
Add user mutex_destroy hook.
Learn structure for malloced userspace mutexes (fill out mutex_state logic and add save glue).
save work when time-travelling wrt learning mutex size from symtables