/* SPDX-License-Identifier: GPL-2.0-only */ | |
#include <cpu/x86/msr.h> | |
#include <device/pci.h> | |
#include <soc/msr.h> | |
#include <soc/pci_devs.h> | |
pci_devfn_t soc_get_ubox_pmon_dev(void) | |
{ | |
msr_t msr = rdmsr(MSR_CPU_BUSNO); | |
u16 bus; | |
if (msr.hi & BUSNO_VALID) | |
bus = msr.lo & 0xff; | |
else | |
return 0; | |
return PCI_DEV(bus, UBOX_DECS_DEV, UBOX_URACU_FUNC); | |
} |