Each of the ES and CS registers are not guaranteed to have the same value before and after function calls.
These registers are guaranteed to have the same values before and after interrupts.