Searched refs:l4_trunc_page (Results 1 – 16 of 16) sorted by relevance
98 b = l4_trunc_page((l4_addr_t)addr); in l4_touch_ro()99 e = l4_trunc_page((l4_addr_t)addr + size - 1); in l4_touch_ro()111 b = l4_trunc_page((l4_addr_t)addr); in l4_touch_rw()112 e = l4_trunc_page((l4_addr_t)addr + size - 1); in l4_touch_rw()
31 if (_last_checked != l4_trunc_page(l4_addr_t(addr))) in check_access()33 l4_addr_t offs = l4_trunc_page(addr - _vma.get()); in check_access()36 _last_checked = l4_trunc_page(l4_addr_t(addr)); in check_access()
78 l4_addr_t pg_offset = l4_trunc_page(offset); in local_attach_ds()93 l4_addr_t pg_addr = l4_trunc_page(addr); in local_detach_ds()
54 offs = l4_trunc_page(offs); in map()55 hot_spot = l4_trunc_page(hot_spot); in map()65 min = l4_trunc_page(min); in map()
50 end = l4_trunc_page(md.end() + 1) - 1; in init_memory()54 start = l4_trunc_page(md.start()); in init_memory()
167 Region r = Region::bs(l4_trunc_page(pfa), L4_PAGESIZE, t, dr); in handle_page_fault()
369 L4_INLINE l4_addr_t l4_trunc_page(l4_addr_t address) L4_NOTHROW;370 L4_INLINE l4_addr_t l4_trunc_page(l4_addr_t address) L4_NOTHROW in l4_trunc_page() function
24 for (char *x = (char *)l4_trunc_page((l4_addr_t)_start); x < end; in Dataspace_cont()38 min = l4_trunc_page(min); in address()
36 offs = l4_trunc_page(offs); in map()37 hot_spot = l4_trunc_page(hot_spot); in map()
48 offs = l4_trunc_page(offs); in map()
188 l4_addr_t aligned_offset = l4_trunc_page(offset); in map()
160 unsigned long start = l4_trunc_page(md.start()); in find_memory()
123 l4_addr_t pg_offset = l4_trunc_page(offset); in local_attach_ds()137 l4_addr_t pg_addr = l4_trunc_page(addr); in local_detach_ds()
517 off64_t offset = l4_trunc_page(_offset << 12); in mmap2()519 start = (void*)l4_trunc_page(l4_addr_t(start)); in mmap2()587 int err = ds->copy_in(anon_offset, fds, l4_trunc_page(offset), in mmap2()722 l4_addr_t oa = l4_trunc_page((l4_addr_t)old_addr); in mremap()759 l4_addr_t na = l4_trunc_page((l4_addr_t)*new_addr); in mremap()
246 l4_addr_t s = l4_trunc_page(h.paddr());299 char *paddr = (char*)(l4_trunc_page(ph.paddr()) + base);312 char *paddr = (char*)(l4_trunc_page(ph.paddr()) + base);313 l4_umword_t offs = l4_trunc_page(ph.offset());
57 l4_addr_t start = l4_trunc_page(_start);
Completed in 24 milliseconds