diff --git a/kernel/mem.c b/kernel/mem.c
index 4895ef4a..04288aff 100644
--- a/kernel/mem.c
+++ b/kernel/mem.c
@@ -246,7 +246,7 @@ int aal_mc_free_micpa(unsigned long mic_pa) {
     int smpt_ndx = ((mic_pa - MIC_SYSTEM_BASE) >> MIC_SYSTEM_PAGE_SHIFT);
     if(smpt_ndx >= NUM_SMPT_ENTRIES_IN_USE || 
        smpt_ndx <  NUM_SMPT_ENTRIES_IN_USE - NUM_SMPT_ENTRIES_MICPA) {
-        dkprintf("aal_mc_free_micpa,mic_pa=%llx,out of range\n", host_pa); 
+        dkprintf("aal_mc_free_micpa,mic_pa=%llx,out of range\n", mic_pa); 
         return -1;
     }
     free_bitmap_micpa |= (1ULL << smpt_ndx);