The branch main has been updated by bnovkov:
URL:
https://cgit.FreeBSD.org/src/commit/?id=87ab222016a6b02018647c8225499ff253b953a3
commit 87ab222016a6b02018647c8225499ff253b953a3
Author: Bojan Novković <bnov...@freebsd.org>
AuthorDate: 2025-07-25 17:48:21 +0000
Commit: Bojan Novković <bnov...@freebsd.org>
CommitDate: 2025-07-27 16:31:49 +0000
bhyve/acpi: Mark dsdt_line as 'printflike'
Reviewed by: markj
Differential Revision: https://reviews.freebsd.org/D51534
---
usr.sbin/bhyve/acpi.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/usr.sbin/bhyve/acpi.h b/usr.sbin/bhyve/acpi.h
index 824dce776306..f4d24d63800e 100644
--- a/usr.sbin/bhyve/acpi.h
+++ b/usr.sbin/bhyve/acpi.h
@@ -57,7 +57,7 @@ int acpi_build(struct vmctx *ctx, int ncpu);
void acpi_raise_gpe(struct vmctx *ctx, unsigned bit);
int acpi_tables_add_device(const struct acpi_device *const dev);
int acpi_add_vcpu_affinity(int vcpuid, int domain);
-void dsdt_line(const char *fmt, ...);
+void dsdt_line(const char *fmt, ...) __printflike(1, 2);
void dsdt_fixed_ioport(uint16_t iobase, uint16_t length);
void dsdt_fixed_irq(uint8_t irq);
void dsdt_fixed_mem32(uint32_t base, uint32_t length);
