current_execution_state_info.c

static void *current_execution_state_info_struct[4];
__attribute__((visibility ("hidden"))) void *current_execution_state_info = current_execution_state_info_struct;