pcmu_debug
pcmu_debug(flag, dip, fmt, (uintptr_t)(a1), \
extern void pcmu_debug(uint64_t, dev_info_t *, char *,
pcmu_debug(flag, dip, fmt, 0, 0, 0, 0, 0);
pcmu_debug(flag, dip, fmt, (uintptr_t)(a1), 0, 0, 0, 0);
pcmu_debug(flag, dip, fmt, (uintptr_t)(a1), (uintptr_t)(a2), 0, 0, 0);
pcmu_debug(flag, dip, fmt, (uintptr_t)(a1), \
pcmu_debug(flag, dip, fmt, (uintptr_t)(a1), \