var group__l4__utcb__tcr__api =
[
    [ "l4_thread_regs_t", "structl4__thread__regs__t.html", [
      [ "error", "structl4__thread__regs__t.html#a5938a98c49f9b75e46046b36e6f65e89", null ],
      [ "free_marker", "structl4__thread__regs__t.html#a50e81e415f7d4ca398b320f9e9d507be", null ],
      [ "user", "structl4__thread__regs__t.html#aed661adcf9bc544584d9104741cd9908", null ]
    ] ],
    [ "l4_thread_regs_t", "group__l4__utcb__tcr__api.html#gacdbcfef25e66bdcc9e65c3a0207c8520", null ]
];