#include <thread.h>

This field is the object management structure for each proxy.
This field is the current execution state of this proxy.
This field is the current priority state of this proxy.
This field is the base priority of this proxy.
| uint32_t Thread_Proxy_control::resource_count |
This field is the number of mutexes currently held by this proxy.
This field is the blocking information for this proxy.
This field is the Watchdog used to manage proxy delays and timeouts.
This field is used to manage the set of proxies in the system.
Referenced by _Thread_MP_Free_proxy().
1.5.6