linux-arkmicro/u-boot/arch/x86/cpu/intel_common/pch.c

// SPDX-License-Identifier: GPL-2.0
/*
 * Copyright (c) 2016 Google, Inc
 */

#include <common.h>
#include <dm.h>
#include <asm/pch_common.h>

u32 pch_common_sir_read(struct udevice *dev, int idx)
{
	u32 data;

	dm_pci_write_config32(dev, SATA_SIRI, idx);
	dm_pci_read_config32(dev, SATA_SIRD, &data);

	return data;
}

void pch_common_sir_write(struct udevice *dev, int idx, u32 value)
{
	dm_pci_write_config32(dev, SATA_SIRI, idx);
	dm_pci_write_config32(dev, SATA_SIRD, value);
}