char *p1 = 0x835a0000, *p2 = 0x875a0000; *p1 = 1; printf("p1 == %x\t*p1==%x\n", p1,*p1); *p2 = 2; printf("p2 == %x\t*p2==%x\n", p2,*p2); printf("p1 == %x\t*p1==%x\n", p1,*p1);
p1 == 835a0000 *p1==1p2 == 875a0000 *p2==2p1 == 835a0000 *p1==2
What are your page table entries for 0x835X,XXXX and 0x875X,XXXX?
...835: 33500c1e...875: 37500c1e...