8 #if CONFIG(SOUTHBRIDGE_INTEL_COMMON_PMCLIB)
int add_pi_resource(STM_RSC *resource_list, uint32_t num_entries)
#define MACHINE_SPECIFIC_REG
uint16_t get_pmbase(void)
#define printk(level,...)
#define SMRR_PHYSBASE_MSR
static __always_inline msr_t rdmsr(unsigned int index)
#define SMRR_PHYSMASK_MSR
#define IA32_APIC_BASE_MSR_INDEX
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
unsigned long long uint64_t