Advertisement
Guest User

Untitled

a guest
Oct 31st, 2014
218
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.30 KB | None | 0 0
  1. OS_RESULT rt_free_box_s (void *p_mpool, void *box) {
  2. P_TCB p_first;
  3. int i;
  4.  
  5. i = _free_box(p_mpool, box);
  6.  
  7. if(!rt_is_empty_blk(&os_blk)){
  8. p_first = rt_get_first_blk(&os_blk);
  9. p_first->ret_val = (U32)box;
  10. rt_dispatch(p_first);
  11. }
  12.  
  13. if(i==0) return (OS_R_OK);
  14. else return (OS_R_NOK);
  15. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement