Internal_Bookmark_List_Changed

Description

Simics internal. Triggered when a bookmark has been added or deleted.

Callback Type

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