ESM esmSetInterruptLevel() - Halcogen code potential issue

Dear all,

are the following lines generated by Halcoden correct? It seems that one "F" character is missing in the highlighted masks, is not?

esm.c

void esmSetInterruptLevel(uint64 channels, uint64 flags)

{
/* USER CODE BEGIN (19) */
/* USER CODE END */

esmREG->ILCR4 = (uint32)(((channels & (~flags)) >> 32U) & 0xFFFFFFFU);
esmREG->ILSR4 = (uint32)(((channels & flags) >> 32U) & 0xFFFFFFFFU);
esmREG->ILCR1 = (uint32)((channels & (~flags)) & 0xFFFFFFFU);
esmREG->ILSR1 = (uint32)((channels & flags) & 0xFFFFFFFFU);

/* USER CODE BEGIN (20) */
/* USER CODE END */
}

Thanks a lot,

cheers, Jiri