Data structure for storing an upcall from the kernel to a process.
Type to uniquely identify an upcall subscription across all drivers.
Errors which can occur when scheduling a process Upcall.
