Internal_Micro_Checkpoint_Loaded

Description

Simics internal

Callback Type

void (*)(lang_void *callback_data, 
         conf_object_t *trigger_obj);