How does the hardware for pin change interrupts work?

I know how to use pan change interrupt on the software side however my question is how does the hardware for the interrupts work? thanks

It does not appear to be documented.
There's a synchronizer on the inputs; I'd probably do something like comparing the synchronized state with the current pin state...

This is the functional diagram in the datasheet: