int load_stm_image(uintptr_t mseg)
bool stm_check_stm_image(void *stm_image, uint32_t stm_image_size)
void stm_gen_4g_pagetable_ia32(uint32_t pagetable_base)
void notify_stm_resource_change(void *stm_resource)
int get_pi_resource(STM_RSC *resource_list, uint32_t *resource_size)
int add_pi_resource(STM_RSC *resource_list, uint32_t num_entries)
void stm_gen_4g_pagetable_x64(uint32_t pagetable_base)
int delete_pi_resource(STM_RSC *resource_list, uint32_t num_entries)
void stm_setup(uintptr_t mseg, int cpu, uintptr_t smbase, uintptr_t smbase_base, uint32_t offset32)
void * get_stm_resource(void)
void setup_smm_descriptor(void *smbase, int32_t apic_id, int32_t entry32_off)