diff --git a/arch/x86/kernel/memory.c b/arch/x86/kernel/memory.c
index ba7d737e..2d98355c 100644
--- a/arch/x86/kernel/memory.c
+++ b/arch/x86/kernel/memory.c
@@ -540,7 +540,7 @@ uint64_t ihk_mc_pt_virt_to_pagemap(struct page_table *pt, unsigned long virt)
 
 
 int ihk_mc_pt_virt_to_phys(struct page_table *pt,
-                           void *virt, unsigned long *phys)
+                           const void *virt, unsigned long *phys)
 {
 	int l4idx, l3idx, l2idx, l1idx;
 	unsigned long v = (unsigned long)virt;
diff --git a/lib/include/ihk/mm.h b/lib/include/ihk/mm.h
index ecd510ad..620ae0cc 100644
--- a/lib/include/ihk/mm.h
+++ b/lib/include/ihk/mm.h
@@ -147,7 +147,7 @@ struct page_table *ihk_mc_pt_create(enum ihk_mc_ap_flag ap_flag);
 void ihk_mc_pt_destroy(struct page_table *pt);
 void ihk_mc_load_page_table(struct page_table *pt);
 int ihk_mc_pt_virt_to_phys(struct page_table *pt,
-                           void *virt, unsigned long *phys);
+                           const void *virt, unsigned long *phys);
 uint64_t ihk_mc_pt_virt_to_pagemap(struct page_table *pt, unsigned long virt);
 
 void remote_flush_tlb_cpumask(struct process_vm *vm,