Lines Matching refs:base
172 /** Adds a new page table for the specified base address */
175 add_page_table(addr_t base)
177 TRACE(("add_page_table(base = %p)\n", (void *)base));
191 gPageRoot[base/(4*1024*1024)] = (uint32)pageTable | kDefaultPageTableFlags;
335 // 1 MB following the kernel base address.
440 idtDescriptor.base = (uint32 *)gKernelArgs.arch_args.vir_idt;
489 gdtDescriptor.base = (uint32 *)gKernelArgs.arch_args.vir_gdt;
520 dprintf(" base 0x%08" B_PRIx64 ", length 0x%08" B_PRIx64 "\n",
527 dprintf(" base 0x%08" B_PRIx64 ", length 0x%08" B_PRIx64 "\n",
534 dprintf(" base 0x%08" B_PRIx64 ", length 0x%08" B_PRIx64 "\n",
667 platform_release_heap(struct stage2_args *args, void *base)