905 |
|
int main(void) { /* returns 0 if we have working 33-bit addressing */ |
906 |
|
if (sizeof(void *) < 8) exit(1); |
907 |
|
if (vm_init() < 0) exit(2); |
908 |
< |
char *m1 = (char *)vm_acquire(32768, VM_MAP_DEFAULT | VM_MAP_33BIT); |
908 |
> |
volatile char *m1 = (char *)vm_acquire(32768, VM_MAP_DEFAULT | VM_MAP_33BIT); |
909 |
|
if (m1 == VM_MAP_FAILED) exit(3); |
910 |
< |
char *m2 = m1 + (1L << 32); |
910 |
> |
volatile char *m2 = m1 + (1L << 32); |
911 |
|
m1[0] = 0x12; if (m2[0] != 0x12) exit(4); |
912 |
|
m2[0] = 0x34; if (m1[0] != 0x34) exit(5); |
913 |
|
vm_exit(); exit(0); |