-__gnat_set_globals (main_priority,
- time_slice_val,
- wc_encoding,
- locking_policy,
- queuing_policy,
- task_dispatching_policy,
- restrictions,
- interrupt_states,
- num_interrupt_states,
- unreserve_all_interrupts,
- exception_tracebacks,
- zero_cost_exceptions)
- int main_priority;
- int time_slice_val;
- char wc_encoding;
- char locking_policy;
- char queuing_policy;
- char task_dispatching_policy;
- char *restrictions;
- char *interrupt_states;
- int num_interrupt_states;
- int unreserve_all_interrupts;
- int exception_tracebacks;
- int zero_cost_exceptions;
+__gnat_set_globals (int main_priority,
+ int time_slice_val,
+ char wc_encoding,
+ char locking_policy,
+ char queuing_policy,
+ char task_dispatching_policy,
+ char *restrictions,
+ char *interrupt_states,
+ int num_interrupt_states,
+ int unreserve_all_interrupts,
+ int exception_tracebacks,
+ int zero_cost_exceptions)