SEGMENT_LENGTH
#define VM_MAX_KERNEL_ADDRESS (VM_MIN_KERNEL_ADDRESS + SEGMENT_LENGTH - 1)
((vaddr_t)SEGMENT_LENGTH * (PMAP_DIRECT_MAPPED_SR + 1))
#define VM_MAX_KERNEL_ADDRESS (VM_MIN_KERNEL_ADDRESS + 2*SEGMENT_LENGTH)
if (msgbuf_paddr + sz > SEGMENT_LENGTH) {
for (va = 0x0; va < SEGMENT_LENGTH; va += 0x1000) {
SEGMENT_LENGTH);
for (va = kernelend, pa = kernelend; va < SEGMENT_LENGTH;
if (pa >= SEGMENT_LENGTH) {
if (pa >= SEGMENT_LENGTH)
if (src < SEGMENT_LENGTH && dst < SEGMENT_LENGTH) {
if (pa + len <= SEGMENT_LENGTH) {
if (pa < SEGMENT_LENGTH) {
*len_p = SEGMENT_LENGTH - (uva & ~SEGMENT_MASK);
*len_p = SEGMENT_LENGTH - (uva & ~SEGMENT_MASK);