GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

acpi: Helper functions to add certain _DSD properties 

BUG=b:259716145
TEST=Verified SSDT on google/rex.

Signed-off-by: Kapil Porwal <kapilporwal@google.com>
Change-Id: I5bb432dd4e8f320d2c0d7f378dc2d7b3a770b541
Reviewed-on: https://review.coreboot.org/c/coreboot/+/70063
Reviewed-by: Tarun Tuli <taruntuli@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
This commit is contained in:
Kapil Porwal 2022-11-28 17:25:48 +05:30 committed by Felix Held
parent 06cd7dbe4c
commit 7543627f1b
2 changed files with 83 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

80
src/acpi/device.c
View File

@ -19,6 +19,27 @@
#define ACPI_DP_UUID "daffd814-6eba-4d8c-8a91-bc9bbf4aa301" #define ACPI_DP_UUID "daffd814-6eba-4d8c-8a91-bc9bbf4aa301"
#define ACPI_DP_CHILD_UUID "dbb8e3e6-5886-4ba6-8795-1319f52a966b" #define ACPI_DP_CHILD_UUID "dbb8e3e6-5886-4ba6-8795-1319f52a966b"
/*
* Below properties are defined at
* https://docs.microsoft.com/en-us/windows-hardware/drivers/pci/dsd-for-pcie-root-ports
*/
#define ACPI_DSD_EXTERNAL_FACING_PORT_UUID "EFCC06CC-73AC-4BC3-BFF0-76143807C389"
#define ACPI_DSD_EXTERNAL_FACING_PORT_NAME "ExternalFacingPort"
#define ACPI_DSD_HOTPLUG_IN_D3_UUID "6211E2C0-58A3-4AF3-90E1-927A4E0C55A4"
#define ACPI_DSD_HOTPLUG_IN_D3_NAME "HotPlugSupportInD3"
/* ID for the DmaProperty _DSD */
#define ACPI_DSD_DMA_PROPERTY_UUID "70D24161-6DD5-4C9E-8070-705531292865"
#define ACPI_DSD_DMA_PROPERTY_NAME "DmaProperty"
/*
* Below properties are defined at
* https://docs.microsoft.com/en-us/windows-hardware/design/component-guidelines/power-management-for-storage-hardware-devices-intro
*/
#define ACPI_DSD_STORAGE_D3_UUID "5025030F-842F-4AB4-A561-99A5189762D0"
#define ACPI_DSD_STORAGE_D3_NAME "StorageD3Enable"
/* Write empty word value and return pointer to it */ /* Write empty word value and return pointer to it */
static void *acpi_device_write_zero_len(void) static void *acpi_device_write_zero_len(void)
{ {
@ -1184,18 +1205,63 @@ void acpi_device_write_pci_dev(const struct device *dev)
acpigen_pop_len(); /* Scope */ acpigen_pop_len(); /* Scope */
} }
/* ID for the DmaProperty _DSD */ /*
#define ACPI_DSD_DMA_PROPERTY_UUID "70D24161-6DD5-4C9E-8070-705531292865" * Helper function to add given integer property with an UUID to _DSD in the current scope.
*
/* _DSD with DmaProperty */ * dsd - Pointer to a _DSD object.
void acpi_device_add_dma_property(struct acpi_dp *dsd) * Append to existing _DSD object if not NULL.
* Create new _DSD object and flush it if NULL.
* uuid - Pointer to the UUID string.
* name - Pointer to the property name string.
* value - Value of the integer property.
*/
static void acpi_device_add_integer_property_with_uuid(struct acpi_dp *dsd,
const char *uuid,
const char *name,
uint64_t value)
{ {
struct acpi_dp *prev_dsd = dsd, *pkg; struct acpi_dp *prev_dsd = dsd, *pkg;
if (prev_dsd == NULL) if (prev_dsd == NULL)
dsd = acpi_dp_new_table("_DSD"); dsd = acpi_dp_new_table("_DSD");
pkg = acpi_dp_new_table(ACPI_DSD_DMA_PROPERTY_UUID); pkg = acpi_dp_new_table(uuid);
acpi_dp_add_integer(pkg, "DmaProperty", 1); acpi_dp_add_integer(pkg, name, value);
acpi_dp_add_package(dsd, pkg); acpi_dp_add_package(dsd, pkg);
if (prev_dsd == NULL) if (prev_dsd == NULL)
acpi_dp_write(dsd); acpi_dp_write(dsd);
} }
/* _DSD with ExternalFacingPort */
void acpi_device_add_external_facing_port(struct acpi_dp *dsd)
{
acpi_device_add_integer_property_with_uuid(dsd,
ACPI_DSD_EXTERNAL_FACING_PORT_UUID,
ACPI_DSD_EXTERNAL_FACING_PORT_NAME,
1);
}
/* _DSD with HotPlugSupportInD3 */
void acpi_device_add_hotplug_support_in_d3(struct acpi_dp *dsd)
{
acpi_device_add_integer_property_with_uuid(dsd,
ACPI_DSD_HOTPLUG_IN_D3_UUID,
ACPI_DSD_HOTPLUG_IN_D3_NAME,
1);
}
/* _DSD with DmaProperty */
void acpi_device_add_dma_property(struct acpi_dp *dsd)
{
acpi_device_add_integer_property_with_uuid(dsd,
ACPI_DSD_DMA_PROPERTY_UUID,
ACPI_DSD_DMA_PROPERTY_NAME,
1);
}
/* _DSD with StorageD3Enable */
void acpi_device_add_storage_d3_enable(struct acpi_dp *dsd)
{
acpi_device_add_integer_property_with_uuid(dsd,
ACPI_DSD_STORAGE_D3_UUID,
ACPI_DSD_STORAGE_D3_NAME,
1);
}

17
src/include/acpi/acpi_device.h
View File

@ -588,13 +588,16 @@ void acpi_dp_write(struct acpi_dp *table);
*/ */
void acpi_device_write_pci_dev(const struct device *dev); void acpi_device_write_pci_dev(const struct device *dev);
/* /* Helper function to add ExternalFacingPort to _DSD in the current scope */
* Helper function to add DmaProperty to _DSD in the current scope. void acpi_device_add_external_facing_port(struct acpi_dp *dsd);
*
* dsd - Pointer to a _DSD object. /* Helper function to add HotPlugSupportInD3 to _DSD in the current scope */
* Append to existing _DSD object if not NULL. void acpi_device_add_hotplug_support_in_d3(struct acpi_dp *dsd);
* Create new _DSD object and flush it if NULL.
*/ /* Helper function to add DmaProperty to _DSD in the current scope */
void acpi_device_add_dma_property(struct acpi_dp *dsd); void acpi_device_add_dma_property(struct acpi_dp *dsd);
/* Helper function to add StorageD3Enable to _DSD in the current scope */
void acpi_device_add_storage_d3_enable(struct acpi_dp *dsd);
#endif /* __ACPI_ACPI_DEVICE_H__ */ #endif /* __ACPI_ACPI_DEVICE_H__ */