I have the following code spread across the kernel and user space. This is for a hypothetical driver which is communicating with the user-program.
The user maintains