Lines Matching refs:printf
65 printf("table base @ 0x%p\n", table); in cpu_status()
70 printf("Running on cpu %d\n", id); in cpu_status()
71 printf("\n"); in cpu_status()
72 printf("table @ 0x%p\n", table); in cpu_status()
73 printf(" addr - 0x%08x\n", table[BOOT_ENTRY_ADDR_LOWER]); in cpu_status()
74 printf(" r3 - 0x%08x\n", table[BOOT_ENTRY_R3_LOWER]); in cpu_status()
75 printf(" pir - 0x%08x\n", table[BOOT_ENTRY_PIR]); in cpu_status()
110 printf("Invalid cpu number for disable %d\n", nr); in cpu_disable()
127 printf("Invalid cpu number for disable %d\n", nr); in is_core_disabled()
149 printf("Invalid to release the boot core.\n\n"); in cpu_release()
154 printf("Invalid number of arguments to release.\n\n"); in cpu_release()
302 printf("CPU up timeout. CPU up mask is %x should be %x\n", in plat_mp_up()
374 printf("CPU up timeout. CPU up mask is %x should be %x\n", in plat_mp_up()