hpi_pfc_get_interrupt_status
hpi_status_t hpi_pfc_get_interrupt_status(hpi_handle_t, pfc_int_status_t *);
(void) hpi_pfc_get_interrupt_status(handle, &int_status);