var searchData=
[
  ['pid_5ft_3341',['pid_t',['../taskswitch_8h.html#a7a26cb7f5678736cec66712d6df1d4ed',1,'taskswitch.h']]],
  ['proc_5fidle_5ftimer_5ft_3342',['proc_idle_timer_t',['../taskswitch_8h.html#a82c77e5c902b86503a57e02bb4314bad',1,'taskswitch.h']]]
];
