/* Return read-only GIRQ result register. Result is bit-wise and of source and enable registers.  */
uint32_t mchp_xec_ecia_girq_result(uint8_t girq_num)
/* Return read-only GIRQ result register. Result is bit-wise and of source and enable registers.  */
uint32_t mchp_xec_ecia_girq_result(uint8_t girq_num)
{
	if ((girq_num < MCHP_FIRST_GIRQ) || (girq_num > MCHP_LAST_GIRQ)) {
		return 0U;
	}
	struct ecia_regs *regs = ECIA_XEC_REG_BASE;
	return regs->GIRQ[girq_num - MCHP_FIRST_GIRQ].RESULT;
}