- addr=os_trunc_to_page(addr);
- len=os_round_up_size_to_page(len);
- old_len=os_round_up_size_to_page(old_len);
-
- if(addr==NULL)
- return os_allocate(len);
- else{
- long len_diff=len-old_len;
-
- if(len_diff<0)
- os_invalidate(addr+len,-len_diff);
- else{
- if(len_diff!=0){
- os_vm_address_t new=os_allocate(len);
-
- if(new!=NULL){
- bcopy(addr,new,old_len);
- os_invalidate(addr,old_len);
- }
-
- addr=new;
- }
- }
- return addr;
- }
+ if (-1 == sem_post(sem))
+ lose("%s: os_sem_post(%p): %s", what, sem, strerror(errno));
+ FSHOW((stderr, "%s: os_sem_post(%p)\n", what, sem));