|
@@ -201,6 +201,7 @@ xmaddr_t arbitrary_virt_to_machine(void *vaddr)
|
|
offset = address & ~PAGE_MASK;
|
|
offset = address & ~PAGE_MASK;
|
|
return XMADDR(((phys_addr_t)pte_mfn(*pte) << PAGE_SHIFT) + offset);
|
|
return XMADDR(((phys_addr_t)pte_mfn(*pte) << PAGE_SHIFT) + offset);
|
|
}
|
|
}
|
|
|
|
+EXPORT_SYMBOL_GPL(arbitrary_virt_to_machine);
|
|
|
|
|
|
void make_lowmem_page_readonly(void *vaddr)
|
|
void make_lowmem_page_readonly(void *vaddr)
|
|
{
|
|
{
|