Lines Matching refs:base
173 /** Adds a new page table for the specified base address */
176 add_page_table(addr_t base)
178 TRACE(("add_page_table(base = %p)\n", (void *)base));
192 gPageRoot[base/(4*1024*1024)] = (uint32)pageTable | kDefaultPageTableFlags;
336 // 1 MB following the kernel base address.
441 idtDescriptor.base = (uint32 *)gKernelArgs.arch_args.vir_idt;
490 gdtDescriptor.base = (uint32 *)gKernelArgs.arch_args.vir_gdt;
521 dprintf(" base 0x%08" B_PRIx64 ", length 0x%08" B_PRIx64 "\n",
528 dprintf(" base 0x%08" B_PRIx64 ", length 0x%08" B_PRIx64 "\n",
535 dprintf(" base 0x%08" B_PRIx64 ", length 0x%08" B_PRIx64 "\n",
672 platform_release_heap(struct stage2_args *args, void *base)