usr/vnode_map_test/vnode_map_test.c

67     struct capref frame, smallframe, vnodes[4], mappings[4];
84     vnodes[0] = (struct capref) {
91         err = slot_alloc(&vnodes[i]);
96         err = vnode_create(vnodes[i], type[i]);
100         err = vnode_map(vnodes[i-1], vnodes[i], slot, PTABLE_ACCESS_DEFAULT,
119     err = vnode_map(vnodes[3], smallframe, (SAFE_VADDR>>offsets[3])&0x1f,
134     err = vnode_unmap(vnodes[3], smallframe, (SAFE_VADDR>>offsets[3])&0x1f,
141     err = vnode_unmap(vnodes[2], vnodes[3], SAFE_VADDR>>offsets[2]&0x1f, 1);
146     err = vnode_map(vnodes[2], frame, SAFE_VADDR>>offsets[2]&0x1f,
155     err = vnode_unmap(vnodes[2], frame, SAFE_VADDR>>offsets[2]&0x1f, DEFAULT_SIZE / X86_64_LARGE_PAGE_SIZE);