Symbol: hp_sdc_request_hil_irq