| 1 | /* |
| 2 | * Copyright Red Hat, Inc. 2026 |
| 3 | * Author(s): Igor Mammedov <imammedo@redhat.com> |
| 4 | * |
| 5 | * SPDX-License-Identifier: GPL-2.0-or-later |
| 6 | */ |
| 7 | |
| 8 | #include "qemu/osdep.h" |
| 9 | #include "hw/acpi/wdat-gwdt.h" |
| 10 | |
| 11 | void build_gwdt_wdat(GArray *table_data, BIOSLinker *linker, const char *oem_id, |
| 12 | const char *oem_table_id, uint64_t rbase, uint64_t cbase, |
| 13 | uint64_t freq) |
| 14 | { |
| 15 | g_assert_not_reached(); |
| 16 | } |