var group__l4__thread__control__api =
[
    [ "l4_thread_control_alien", "group__l4__thread__control__api.html#gae110d7269bc9a396d388abb0195c45d1", null ],
    [ "l4_thread_control_bind", "group__l4__thread__control__api.html#ga370fd9233ecb6be3c0c697e6f66539ab", null ],
    [ "l4_thread_control_commit", "group__l4__thread__control__api.html#ga7d07c9032fdd3dd59bcad35ca51176e8", null ],
    [ "l4_thread_control_exc_handler", "group__l4__thread__control__api.html#gae1ac1c36d9172003c5e53936a56f2ec3", null ],
    [ "l4_thread_control_pager", "group__l4__thread__control__api.html#gaf3715cba35638941d7a37fce539028a7", null ],
    [ "l4_thread_control_start", "group__l4__thread__control__api.html#gae37baad7d9eaae8c2d90be7cfadb4271", null ]
];