/trunk/kernel/generic/include/mm/as.h |
---|
167,7 → 167,9 |
mutex_t lock; |
/** Containing address space. */ |
as_t *as; |
/** Flags related to the memory represented by the address space area. */ |
/** |
* Flags related to the memory represented by the address space area. |
*/ |
int flags; |
/** Attributes related to the address space area itself. */ |
int attributes; |
179,8 → 181,8 |
btree_t used_space; |
/** |
* If the address space area has been shared, this pointer will reference |
* the share info structure. |
* If the address space area has been shared, this pointer will |
* reference the share info structure. |
*/ |
share_info_t *sh_info; |
/trunk/kernel/generic/src/ddi/ddi.c |
---|
234,8 → 234,8 |
* |
* @return 0 on success, otherwise it returns error code found in errno.h |
*/ |
unative_t sys_physmem_map(unative_t phys_base, unative_t virt_base, unative_t |
pages, unative_t flags) |
unative_t sys_physmem_map(unative_t phys_base, unative_t virt_base, |
unative_t pages, unative_t flags) |
{ |
return (unative_t) ddi_physmem_map(ALIGN_DOWN((uintptr_t) phys_base, |
FRAME_SIZE), ALIGN_DOWN((uintptr_t) virt_base, PAGE_SIZE), |
/trunk/kernel/generic/src/ddi/irq.c |
---|
302,10 → 302,10 |
spinlock_lock(&irq->lock); |
if (devno == -1) { |
/* Invoked by irq_dispatch(). */ |
/* Invoked by irq_dispatch_and_lock(). */ |
rv = ((irq->inr == inr) && (irq->claim() == IRQ_ACCEPT)); |
} else { |
/* Invoked by irq_find(). */ |
/* Invoked by irq_find_and_lock(). */ |
rv = ((irq->inr == inr) && (irq->devno == devno)); |
} |
361,10 → 361,10 |
spinlock_lock(&irq->lock); |
if (devno == -1) { |
/* Invoked by irq_dispatch() */ |
/* Invoked by irq_dispatch_and_lock() */ |
rv = (irq->claim() == IRQ_ACCEPT); |
} else { |
/* Invoked by irq_find() */ |
/* Invoked by irq_find_and_lock() */ |
rv = (irq->devno == devno); |
} |