HYP_VECTOR_DIRECT
int idx = slot - (slot != HYP_VECTOR_DIRECT);
kvm_init_vector_slot(base, HYP_VECTOR_DIRECT);
case HYP_VECTOR_DIRECT: {