Home
last modified time | relevance | path

Searched refs:page (Results 1 – 25 of 91) sorted by relevance

1234

/l4re-core-master/l4sys/include/
A Dpager37 * This class defines the interface for handling IO page faults. IO page
51 * will generate an IO page fault message and send it to the thread's page
53 * to handle the IO page faults.
58 * \note The page fault and exception handlers are set with the
66 * IO page fault protocol message.
68 * \param io_pfa Flex-page describing the faulting IO-port.
70 * \param rwin The receive window for a flex-page mapping.
72 * raising the page fault.
92 * causes a page fault, the microkernel synthesises a page fault IPC message
108 * page fault.
[all …]
A Dkip48 * Memory descriptors stored in the kernel interface page.
93 * \param kip Pointer to the kernel info page
95 * \return First memory descriptor stored in the kernel info page
110 * Return number of memory descriptors stored in the kernel info page.
112 * \param kip Pointer to the kernel info page
114 * \return Number of memory descriptors in the kernel info page.
125 * \param kip Pointer to the kernel info page
137 * \param kip Pointer to the kernel info page.
148 * \param kip Pointer to the kernel info page.
A Dvm37 * microkernel employs an appropriate page-table format for hosting VMs, such
A Dexception52 * \param[out] fp Optional flex-page to resolve the exception.
/l4re-core-master/uclibc/lib/contrib/uclibc/extra/config/lxdialog/
A Dtextbox.c34 static char *page; variable
156 page = buf; in dialog_textbox()
287 if (*page == '\0') { in back_lines()
293 if (page == buf) { in back_lines()
297 page--; in back_lines()
299 if (page == buf) { in back_lines()
303 page--; in back_lines()
305 page++; in back_lines()
322 end = page; in print_page()
376 if (*page == '\0') { in get_line()
[all …]
/l4re-core-master/moe/server/src/
A Ddataspace_noncont.h72 virtual Page &page(unsigned long offs) const throw() = 0;
82 void *page(unsigned idx) const
85 void page(unsigned idx, void *page, unsigned flags = 0) const
87 pages[idx] = (unsigned long)page & Page_addr_mask | flags
A Ddataspace_noncont.cc155 free_page(page(offs)); in clear()
177 { free_page(page(0)); } in ~Mem_one_page()
179 Page &page(unsigned long /*offs*/) const throw() override in page() function in __anon7dd62bb00111::Mem_one_page
207 free_page(page((i - 1) << page_shift())); in ~Mem_small()
212 Page &page(unsigned long offs) const throw() override in page() function in __anon7dd62bb00111::Mem_small
271 free_page(page(i)); in ~Mem_big()
283 Page &page(unsigned long offs) const throw() override in page() function in __anon7dd62bb00111::Mem_big
A Dquota.cc34 void Q_alloc::free_mem(void *page) in free_mem() argument
36 Malloc_container::free_mem(page); in free_mem()
A Dmalloc.cc191 Moe::Malloc_container::free_mem(void *page) in free_mem() argument
193 Single_page_alloc_base::_free(page, Malloc_page::Page_size); in free_mem()
A Ddataspace_util.cc85 Dataspace_noncont::Page &src_p = src->page(src_offs); in __do_cow_copy2()
90 dst_p = &dst->page(dst_offs); in __do_cow_copy2()
A Dmalloc.h89 virtual void free_mem(void *page);
A Dquota.h138 void free_mem(void *page) override;
/l4re-core-master/uclibc/lib/contrib/uclibc/libc/sysdeps/linux/arm/
A Dmmap64.S48 lsl r4, r6, #20 @ check that offset is page-aligned
52 @ compose page offset
84 movs r4, ip, lsl $20 @ check that offset is page-aligned
90 orr r5, ip, r5, lsl $20 @ compose page offset
107 movs ip, r5, lsl $20 @ check that offset is page-aligned
111 orr r5, r5, ip, lsl $20 @ compose page offset
/l4re-core-master/sigma0/doc/
A Dsigma0.dox2 * \page l4re_servers L4Re Servers
5 * \page l4re_servers_sigma0 Sigma0, the Root-Pager
13 * IPC, or indirectly by causing page faults and having them resolved by Sigma0.
/l4re-core-master/l4re/include/
A Ddataspace137 * Request a flex-page mapping from the dataspace.
143 * (Rounded down to page size.)
145 * (Rounded up to page size.)
156 * page size is used.
183 * to the page boundary. If the resulting maximum address is less or equal
204 * a shared zero-page.
222 * dataspace manager may also allocate more memory due to page granularity.
A Dmmio_space30 * devices share the same memory page. With respect to security and safety,
31 * it is often not allowed to map a memory page to multiple device drivers
36 * gets exclusive access to the shared memory page, and that drivers can
A Drm48 * kernel page-fault protocol, to resolve page faults for threads running in an
64 * When a region map receives a page fault IPC, the region map will check if the
65 * faulting virtual address lies in a region. If yes, it will answer the page
325 * the nearest start of a page.
335 * rounded up to the nearest multiple of the page size.
348 * a page (#L4_PAGESHIFT). This is only meaningful if
/l4re-core-master/l4re/util/include/
A Dregion_mapping_svr_2223 Dbg(Dbg::Server).printf("page fault: %lx pc=%lx\n", addr, pc);
232 Dbg(Dbg::Warn, "rm").printf("unhandled %s page fault at 0x%lx pc=0x%lx\n",
240 Dbg(Dbg::Warn, "rm").printf("write page fault in readonly region at 0x%lx pc=0x%lx\n",
248 Dbg(Dbg::Warn, "rm").printf("instruction page fault in non-exec region at 0x%lx pc=0x%lx\n",
257 … Dbg(Dbg::Warn, "rm").printf("mapping for page fault failed with error %d at 0x%lx pc=0x%lx\n",
A Dkumem_alloc51 * the used kernel implementation. The minimum allocatable amount is one page.
/l4re-core-master/l4sys/doc/
A Dfactory.dox2 \page l4re_concepts Programming for L4Re
5 \page l4re_concepts_kernel_factory Kernel Factory
/l4re-core-master/moe/doc/
A Dmoe.dox3 * \page l4re_servers_moe Moe, the Root-Task
120 * for memory allocation however is the machine page size (#L4_PAGESIZE).
121 * A dataspace user must be aware that, as a result of this page-size
/l4re-core-master/l4util/doc/
A Dl4util.cfg460 # each generated HTML page. If it is left blank doxygen will generate a
466 # each generated HTML page. If it is left blank doxygen will generate a
472 # style sheet that is used by each HTML page. It can be used to
509 # top of each HTML page. The value NO (the default) enables the index and
586 # contain links (just like the HTML output) instead of page references
628 # contain links (just like the HTML output) instead of page references.
647 # configuration options related to the man page output
668 # documented in the real man page(s). These additional files
669 # only source the real man page, but without them the man command
670 # would be unable to find the correct page. The default is NO.
[all …]
/l4re-core-master/libsigma0/doc/
A Dlibsigma0.cfg426 # each generated HTML page. If it is left blank doxygen will generate a
432 # each generated HTML page. If it is left blank doxygen will generate a
438 # style sheet that is used by each HTML page. It can be used to
475 # top of each HTML page. The value NO (the default) enables the index and
542 # contain links (just like the HTML output) instead of page references
584 # contain links (just like the HTML output) instead of page references.
603 # configuration options related to the man page output
624 # documented in the real man page(s). These additional files
625 # only source the real man page, but without them the man command
626 # would be unable to find the correct page. The default is NO.
[all …]
/l4re-core-master/ldscripts/ARCH-amd64/
A Dmain_rel.ld82 the same address within the page on the next page up. */
/l4re-core-master/ldscripts/ARCH-arm64/
A Dmain_rel.ld73 the same address within the page on the next page up. */

Completed in 24 milliseconds

1234