uart_acpi.c

Go to the documentation of this file.

/* SPDX-License-Identifier: GPL-2.0-only */
 
#include <acpi/acpigen.h>
#include <amdblocks/uart.h>
#include <device/device.h>
 
/* This gets called for both enabled and disabled devices. */
void uart_inject_ssdt(const struct device *dev)
{
        acpigen_write_scope(acpi_device_path(dev));
 
        acpigen_write_STA(acpi_device_status(dev));
 
        acpigen_pop_len(); /* Scope */
}