foone, 6 months ago which also means that 0001:0000 and 0000:0010 are both linear 0x10. So you can get pointer aliasing even though both pointers HAVE DIFFERENT VALUES
which also means that 0001:0000 and 0000:0010 are both linear 0x10.
So you can get pointer aliasing even though both pointers HAVE DIFFERENT VALUES