/* * This doesn't need to travel to userspace */