Lines Matching refs:printf
52 printf("%s", list[i]); in print_list()
54 printf(", "); in print_list()
63 printf("%s: %08x", name, bits); in print_dexcr()
66 printf("\n"); in print_dexcr()
82 printf(" ("); in print_dexcr()
84 printf(")\n"); in print_dexcr()
101 printf("%12s %c (%d): ", aspect->name, effective & mask ? '*' : ' ', aspect->index); in print_aspect()
103 printf(" \t(%s)\n", aspect->desc); in print_aspect()
109 printf("DEXCR not detected on this hardware\n"); in main()
120 printf("\n"); in main()
124 printf("\n"); in main()
127 printf("DEXCR[NPHIE] enabled: hashst/hashchk "); in main()
129 printf("working\n"); in main()
131 printf("failed to trigger\n"); in main()
133 printf("DEXCR[NPHIE] disabled: hashst/hashchk "); in main()
135 printf("unexpectedly triggered\n"); in main()
137 printf("ignored\n"); in main()