KVM_ABORT
KVM_ABORT(kd, "ccd-related symbols not available");
KVM_ABORT(kd, "can't determine number of configured ccds");
KVM_ABORT(kd, "can't find pointer to configuration data");
KVM_ABORT(kd, "can't read configuration data");