Lines Matching defs:PRTF_64_TO_32
72 #define PRTF_64_TO_32(x) (uint32_t)((x)>>32), (uint32_t)(x)
358 PRTF_64_TO_32(l2_subaddr),
359 PRTF_64_TO_32(l2_tag),
381 way, (uint32_t)ecp->ec_idx, PRTF_64_TO_32(l2_subaddr),
382 PRTF_64_TO_32(ecp->ec_tag),
412 offset, PRTF_64_TO_32(d_high),
413 PRTF_64_TO_32(d_low), ecc);
436 way, (uint32_t)ecp->ec_idx, PRTF_64_TO_32(ec_subaddr),
437 PRTF_64_TO_32(ecp->ec_tag),
468 offset, PRTF_64_TO_32(d_high),
469 PRTF_64_TO_32(d_low), ecc);