{
        unsigned int loop_start;
        unsigned long off;
+       int i;
 
        epc = (unsigned int *) &clear_page_array;
        instruction_pending = 0;
        build_jr_ra();
 
        BUG_ON(epc > clear_page_array + ARRAY_SIZE(clear_page_array));
+
+       pr_info("Synthesized clear page handler (%u instructions).\n",
+               (unsigned int)(epc - clear_page_array));
+
+       pr_debug("\t.set push\n");
+       pr_debug("\t.set noreorder\n");
+       for (i = 0; i < (epc - clear_page_array); i++)
+               pr_debug("\t.word 0x%08x\n", clear_page_array[i]);
+       pr_debug("\t.set pop\n");
 }
 
 void __init build_copy_page(void)
 {
        unsigned int loop_start;
        unsigned long off;
+       int i;
 
        epc = (unsigned int *) ©_page_array;
        store_offset = load_offset = 0;
        build_jr_ra();
 
        BUG_ON(epc > copy_page_array + ARRAY_SIZE(copy_page_array));
+
+       pr_info("Synthesized copy page handler (%u instructions).\n",
+               (unsigned int)(epc - copy_page_array));
+
+       pr_debug("\t.set push\n");
+       pr_debug("\t.set noreorder\n");
+       for (i = 0; i < (epc - copy_page_array); i++)
+               pr_debug("\t.word 0x%08x\n", copy_page_array[i]);
+       pr_debug("\t.set pop\n");
 }