printk("<1> os_malloc size %d failed\n",size);

/* Allow for 32- or 64-bit size

 *        printk("<1> os_malloc size %d failed\n",size);

 */

        printk("<1> os_malloc size %ld failed\n", (long)size);