Searched refs:print_dexcr (Results 1 – 1 of 1) sorted by relevance
58 static void print_dexcr(char *name, unsigned int bits) in print_dexcr() function117 print_dexcr(" DEXCR", dexcr); in main()118 print_dexcr(" HDEXCR", hdexcr); in main()119 print_dexcr("Effective", effective); in main()