Symbol: __hal_verify_pcc_idle
usr/src/uts/common/io/xge/hal/include/xgehal-device.h
414
__hal_verify_pcc_idle(xge_hal_device_t *hldev, u64 adp_status);
usr/src/uts/common/io/xge/hal/xgehal/xgehal-device.c
4130
if (__hal_verify_pcc_idle(hldev,