[ drivers/lguest/lguest_user.c ]

This contains all the /dev/lguest code, whereby the userspace launcher controls and communicates with the Guest.  For example,the first write will tell us the Guest's memory layout and entry point.  A read will run the Guest until something happens, such as
a signal or the Guest doing a NOTIFY out to the Launcher.  There is also a way for the Launcher to attach eventfds to particular NOTIFY values instead of returning from the read() call.