pagedir_get_page (uint32_t *pd, const void *uaddr)
{
uint32_t *pte = lookup_page (pd, (void *) uaddr, false);
- return pte != NULL && *pte != 0 ? pte_get_page (*pte) : NULL;
+ return (pte != NULL && *pte != 0
+ ? (uint8_t *) pte_get_page (*pte) + pg_ofs (uaddr)
+ : NULL);
}
/* Clears any mapping for user virtual address UPAGE in page
{
if (pd == NULL)
pd = base_page_dir;
+
+ /* Store the physical address of the page directory into CR3
+ aka PDBR (page directory base register). This activates our
+ new page tables immediately. See [IA32-v2a] "MOV--Move
+ to/from Control Registers" and [IA32-v3] 3.7.5. */
asm volatile ("movl %0,%%cr3" :: "r" (vtop (pd)));
}
{
uint32_t *pd;
+ /* Copy CR3, the page directory base register (PDBR), into `pd'
+ for us to exmaine. See [IA32-v2a] "MOV--Move to/from
+ Control Registers" and [IA32-v3] 3.7.5. */
asm ("movl %%cr3,%0" : "=r" (pd));
return pd;
}