/* SPDX-License-Identifier: GPL-2.0-or-later */

#include "qemu/osdep.h"

#include "tdx.h"

int tdx_pre_create_vcpu(CPUState *cpu, Error **errp)
{
    return -EINVAL;
}

int tdx_parse_tdvf(void *flash_ptr, int size)
{
    return -EINVAL;
}

int tdx_handle_report_fatal_error(X86CPU *cpu, struct kvm_run *run)
{
    return -EINVAL;
}

void tdx_handle_get_quote(X86CPU *cpu, struct kvm_run *run)
{
}

void tdx_handle_get_tdvmcall_info(X86CPU *cpu, struct kvm_run *run)
{
}

void tdx_handle_setup_event_notify_interrupt(X86CPU *cpu, struct kvm_run *run)
{
}