@@ -38,7 +38,7 @@ static size_t page_order_bytes[] = {
[VM_PAGE_64G] = 0x1000000000,
};
phys_addr_t vm_virt_to_phys(void *p)
phys_addr_t vm_virt_to_phys(const void *p)
{
uintptr_t pv = (uintptr_t)p;
The note is not visible to the blocked user.