Lines Matching refs:page
105 // we can currently only handle page tables with less than 2^16 entries.
118 * in page table 'ptable'
131 // compile_vaddr can be used on arbitrary page table types)
172 // add next piece of virtual address until we are at root page table
185 // no next page table
310 // calculate page table address
314 // get virtual address of first page
321 debug(SUBSYS_PAGING, "unmapping in floating page table; not flushing TLB\n");
352 // TODO: cleanup arch compatibility mess for page size selection
403 panic("large page support for ARM NYI!\n");
420 #error setup page sizes for arch
423 panic("cannot find page size for cap type: %d\n",