IRQ_BASE
MPIC_INFO(IRQ_BASE),
OP___assert(IRQ_BASE[ID] != (hrt_address)-1);
assert(IRQ_BASE[ID] != (hrt_address)-1);
(void)ia_css_device_load_uint32(IRQ_BASE[ID] +
assert(IRQ_BASE[ID] != (hrt_address) - 1);
ia_css_device_store_uint32(IRQ_BASE[ID] + reg * sizeof(hrt_data), value);
assert(IRQ_BASE[ID] != (hrt_address) - 1);
return ia_css_device_load_uint32(IRQ_BASE[ID] + reg * sizeof(hrt_data));
const hrt_address IRQ_BASE[N_IRQ_ID] = {
extern const hrt_address IRQ_BASE[N_IRQ_ID];