/kernel/trunk/generic/include/mm/as.h |
---|
37,6 → 37,9 |
#include <synch/spinlock.h> |
#include <adt/list.h> |
/** Defined to be true if user address space and kernel address space shadow each other. */ |
#define KERNEL_ADDRESS_SPACE_SHADOWED KERNEL_ADDRESS_SPACE_SHADOWED_ARCH |
#define KERNEL_ADDRESS_SPACE_START KERNEL_ADDRESS_SPACE_START_ARCH |
#define KERNEL_ADDRESS_SPACE_END KERNEL_ADDRESS_SPACE_END_ARCH |
#define USER_ADDRESS_SPACE_START USER_ADDRESS_SPACE_START_ARCH |
/kernel/trunk/generic/include/macros.h |
---|
39,7 → 39,7 |
#define min(a,b) ((a)<(b)?(a):(b)) |
#define max(a,b) ((a)>(b)?(a):(b)) |
/* Return true if the interlvals overlap */ |
/** Return true if the interlvals overlap. */ |
static inline int overlaps(__address s1,size_t sz1, __address s2, size_t sz2) |
{ |
__address e1 = s1+sz1; |