/* 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 */ | |
} |