> According to MPC8349EARM.pdf
According to MPC8379ERM.pdf (which I have a copy of)...
> the IPIC register SEMSR : IRQ4
The IPC allows level or edge settings (high to low edge only) for the IRQn pins.
> but register GP2ICR
Configures interrupts for pins GPIO1[0:31] and GPIO2[0:31].
> Which is correct?
Both?. If you want a "both-edge interrupt" you have to use a GPIO pin (or a pin configured as GPIO) and have the interrupt generated by the GPIO logic.
Tom