/kernel/trunk/generic/include/errno.h |
---|
29,6 → 29,9 |
#ifndef __ERRNO_H__ |
#define __ERRNO_H__ |
#define ENOENT 1 |
/* 1-255 are kernel error codes, 256-512 are user error codes */ |
#define ENOENT -1 /* No such entry */ |
#define ENOMEM -2 /* Not enough memory */ |
#endif |
/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; |
/kernel/trunk/arch/mips32/include/mm/page.h |
---|
96,7 → 96,7 |
#define PTE_VALID_ARCH(pte) (*((__u32 *) (pte)) != 0) |
#define PTE_PRESENT_ARCH(pte) ((pte)->p != 0) |
#define PTE_GET_FRAME_ARCH(pte) ((pte)->pfn<<FRAME_WIDTH) |
#define PTE_GET_FRAME_ARCH(pte) ((pte)->pfn<<12) |
#ifndef __ASM__ |