Home
last modified time | relevance | path

Searched refs:l4_fpage_size (Results 1 – 8 of 8) sorted by relevance

/l4re-core-master/moe/server/src/
A Ddataspace_cont.cc94 size -= (1UL << l4_fpage_size(addr.fp())); in unmap()
95 offs += (1UL << l4_fpage_size(addr.fp())); in unmap()
A Dregion.cc106 l4_fpage_ioport(io_pfa), 1 << l4_fpage_size(io_pfa), pc); in op_io_page_fault()
A Ddataspace.h55 unsigned long sz() const throw() { return 1 << l4_fpage_size(fpage); } in sz()
/l4re-core-master/l4sys/include/
A D__l4_fpage.h452 l4_fpage_size(l4_fpage_t f) L4_NOTHROW;
579 l4_fpage_size(l4_fpage_t f) L4_NOTHROW in l4_fpage_size() function
691 && (fa + (1UL << l4_fpage_size(fpage)) >= addr + (1UL << log2size)); in l4_fpage_contains()
/l4re-core-master/sigma0/server/src/
A Dioports_x86.cc39 size = l4_fpage_size(fp) + PORT_SHIFT; in handle_io_page_fault()
A Dmemmap.cc101 unsigned send_order = l4_fpage_size(fp); in map_mem()
233 map_free_page(l4_fpage_size(*(l4_fpage_t*)(&l4_utcb_mr_u(utcb)->mr[1])), in handle_sigma0_request()
/l4re-core-master/l4re_kernel/server/src/
A Dregion.cc147 l4_fpage_ioport(io_pfa), 1 << l4_fpage_size(io_pfa), pc); in op_io_page_fault()
/l4re-core-master/uclibc/lib/libpthread/src/
A Dpthread.c360 l4_fpage_memaddr(utcb_area) + (1UL << (l4_addr_t)l4_fpage_size(utcb_area)); in __pthread_initialize_minimal()

Completed in 11 milliseconds