// Automatically generated by make_root_pointers.py.

mp_sched_item_t sched_queue[(4)];