void smm_relocation_handler(int cpu, uintptr_t curr_smbase, uintptr_t staggered_smbase)
void * get_smi_source_handler(int source)
void mainboard_handle_smi(int event)
void handle_smi_store(void)
void get_smm_info(uintptr_t *perm_smbase, size_t *perm_smsize, size_t *smm_save_state_size)
void handle_smi_gsmi(void)