ai                 38 user/usertests.c   for(int ai = 0; ai < sizeof(addrs)/sizeof(addrs[0]); ai++){
ai                 39 user/usertests.c     uint64 addr = addrs[ai];
ai                 83 user/usertests.c   for(int ai = 0; ai < sizeof(addrs)/sizeof(addrs[0]); ai++){
ai                 84 user/usertests.c     uint64 addr = addrs[ai];
ai                125 user/usertests.c   for(int ai = 0; ai < sizeof(addrs)/sizeof(addrs[0]); ai++){
ai                126 user/usertests.c     uint64 addr = addrs[ai];
ai               2442 user/usertests.c   for(int ai = 0; ai < sizeof(addrs)/sizeof(addrs[0]); ai++){
ai               2445 user/usertests.c       volatile int *addr = (int *) addrs[ai];