from rtkernel.c:59
enum rtkernel_symbol_values
{
sym_os_state = 0,
sym___off_os_state2chain = 1,
sym___off_os_state2current = 2,
sym___off_task2chain = 3,
sym___off_task2magic = 4,
sym___off_task2stack = 5,
sym___off_task2state = 6,
sym___off_task2name = 7,
sym___val_task_magic = 8,
};