Direct User Calls from the Kernel: Design and Implementation