Searched refs:d_high (Results 1 – 1 of 1) sorted by relevance
392 uint64_t d_low, d_high; in print_l2cache_line() local401 d_high = ecdptr->ec_d8[0]; in print_l2cache_line()405 d_high = ecdptr->ec_d8[2]; in print_l2cache_line()412 offset, PRTF_64_TO_32(d_high), in print_l2cache_line()447 uint64_t d_low, d_high; in print_ecache_line() local457 d_high = ecdptr->ec_d8[0]; in print_ecache_line()461 d_high = ecdptr->ec_d8[2]; in print_ecache_line()468 offset, PRTF_64_TO_32(d_high), in print_ecache_line()