3 #ifndef _XEON_SP_SOC_UTIL_H_
4 #define _XEON_SP_SOC_UTIL_H_
7 #include <hob_iiouds.h>
21 STACK_RES
res[CONFIG_MAX_SOCKET * MAX_IIO_STACK];
static struct smmstore_params_info info
int get_platform_thread_count(void)
msr_t read_msr_ppin(void)
bool is_iio_stack_res(const STACK_RES *res)
void unlock_pam_regions(void)
uint8_t soc_get_iio_ioapicid(int socket, int stack)
void get_iiostack_info(struct iiostack_resource *info)
void xeonsp_init_cpu_config(void)
const IIO_UDS * get_iio_uds(void)
uint8_t get_stack_busno(const uint8_t stack)
void set_bios_init_completion(void)
unsigned int soc_get_num_cpus(void)
STACK_RES res[CONFIG_MAX_SOCKET *MAX_IIO_STACK]