* Aliased pointers: different segment:offset pairs that address the * same physical byte (e.g. 0x1000:0x0010 == 0x1001:0x0000 == linear 0x10010). * The function compares raw pairs, so ZF must be CLEAR (not equal). * This confirms the function does NOT normalise before comparing. */
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected