__hal_verify_pcc_idle
__hal_verify_pcc_idle(xge_hal_device_t *hldev, u64 adp_status);
if (__hal_verify_pcc_idle(hldev,