}
                        if (separator)
                                ptr += sprintf(ptr, "%c", separator);
-                       /*
-                        * Use four '%' characters below because of the
-                        * following two conversions:
-                        *
-                        *  1) sprintf: %%%%r -> %%r
-                        *  2) printk : %%r   -> %r
-                        */
                        if (operand->flags & OPERAND_GPR)
-                               ptr += sprintf(ptr, "%%%%r%i", value);
+                               ptr += sprintf(ptr, "%%r%i", value);
                        else if (operand->flags & OPERAND_FPR)
-                               ptr += sprintf(ptr, "%%%%f%i", value);
+                               ptr += sprintf(ptr, "%%f%i", value);
                        else if (operand->flags & OPERAND_AR)
-                               ptr += sprintf(ptr, "%%%%a%i", value);
+                               ptr += sprintf(ptr, "%%a%i", value);
                        else if (operand->flags & OPERAND_CR)
-                               ptr += sprintf(ptr, "%%%%c%i", value);
+                               ptr += sprintf(ptr, "%%c%i", value);
                        else if (operand->flags & OPERAND_VR)
-                               ptr += sprintf(ptr, "%%%%v%i", value);
+                               ptr += sprintf(ptr, "%%v%i", value);
                        else if (operand->flags & OPERAND_PCREL)
                                ptr += sprintf(ptr, "%lx", (signed int) value
                                                                      + addr);