The lack of fault handling out of the fast path is based on the assumption that hvc_kick() -->try_to_wake_up() never fails, correct? This triggered a warning in one of our static analysis tools.