• event_state : os.h
• kernel_request_type : os.h
• laser_states : remote.c
• mutex_state : os.h
• process_states : os.h
• servo_states : remote.c