Fixed page coloring given __CONFIG_PAGE_COLOR__
[akaros.git] / tests / tlstest.c
1 #include <rstdio.h>
2
3 volatile __thread int foo;
4 volatile __thread int bar;
5
6 int main()
7 {
8         printf("&foo = %p, &bar = %p\n",&foo,&bar);
9         bar = 0xcafebabe;
10         printf("bar = %p\n",bar);
11         return 0;
12 }