• L4_UTCB_NEXT_PERIOD : utcb_stat.h
• L4_UTCB_NEXT_RESERVATION : utcb_stat.h
• L4_UTCB_PERIOD_OVERRUN : utcb_stat.h
• L4_UTCB_RESERVATION_OVERRUN : utcb_stat.h
• WATCH_CMD_ADD : utcb_watch.c
• WATCH_CMD_DEL : utcb_watch.c
• WATCH_CMD_INV : utcb_watch.c