8557d73bddbb ("vfio/ccw: Pass enum to FSM event jumptable")