Searched refs:phys_vbr (Results 1 – 5 of 5) sorted by relevance
33 uint32 phys_vbr; member
346 vbr = args->arch_args.phys_vbr; in arch_int_init()
248 gKernelArgs.arch_args.phys_vbr = (uint32)gPageRoot + VBR_PAGE_OFFSET; in init_page_directory()
249 gKernelArgs.arch_args.phys_vbr = (uint32)gPageRoot + VBR_PAGE_OFFSET; in init_page_directory()