taglinefilesource code
E33G_IDCFR23net/inet/el2reg.h#define E33G_IDCFR  (EL2H+8)  /* Interrupt/DMA config register */
E33G_IDCFR23net/inet/elreg.h#define E33G_IDCFR  (EL2H+8)  /* Interrupt/DMA config register */