from rtkernel.c:76
static const struct symbols rtkernel_symbol_list[] = {
{ "os_state", false },
{ "__off_os_state2chain", false },
{ "__off_os_state2current", false },
{ "__off_task2chain", false },
{ "__off_task2magic", false },
{ "__off_task2stack", false },
{ "__off_task2state", false },
{ "__off_task2name", false },
{ "__val_task_magic", false },
{ NULL, false }
};