/kernel/trunk/generic/src/mm/as.c |
---|
400,7 → 400,7 |
* This depends on the fact that the memory was allocated using frame_alloc(). |
*/ |
pte = page_mapping_find(as, area->base + i*PAGE_SIZE); |
if (pte) { |
if (pte && PTE_VALID(pte)) { |
ASSERT(PTE_PRESENT(pte)); |
frame_free(ADDR2PFN(PTE_GET_FRAME(pte))); |
} |
/kernel/trunk/generic/src/ipc/ipc.c |
---|
190,11 → 190,10 |
list_append(&request->list, &box->dispatched_calls); |
} else { |
if (!(flags & IPC_WAIT_NONBLOCKING)) { |
/* Wait for event to appear */ |
condvar_wait(&box->cv, &box->mutex); |
continue; |
} |
if (condvar_trywait(&box->cv, &box->mutex) != ESYNCH_WOULD_BLOCK) |
continue; |
request = NULL; |
} |
break; |