src/soc/intel/xeon_sp/include/soc/util.h

   1 /* SPDX-License-Identifier: GPL-2.0-or-later */
   2
   3 #ifndef _XEON_SP_SOC_UTIL_H_
   4 #define _XEON_SP_SOC_UTIL_H_
   5
   6 #include <cpu/x86/msr.h>
   7 #include <hob_iiouds.h>
   8
   9 void get_cpubusnos(uint32_t *bus0, uint32_t *bus1, uint32_t *bus2, uint32_t *bus3);
  10 void unlock_pam_regions(void);
  11 void get_stack_busnos(uint32_t *bus);
  12 msr_t read_msr_ppin(void);
  13 int get_threads_per_package(void);
  14 int get_platform_thread_count(void);
  15 const IIO_UDS *get_iio_uds(void);
  16 unsigned int soc_get_num_cpus(void);
  17 void xeonsp_init_cpu_config(void);
  18 void set_bios_init_completion(void);
  19
  20 #endif