Rev 1501 | Rev 1596 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1501 | Rev 1547 | ||
---|---|---|---|
Line 71... | Line 71... | ||
71 | NULL,&rights,NULL); |
71 | NULL,&rights,NULL); |
72 | if (res) { |
72 | if (res) { |
73 | printf("Failed to initialize timeofday memarea\n"); |
73 | printf("Failed to initialize timeofday memarea\n"); |
74 | _exit(1); |
74 | _exit(1); |
75 | } |
75 | } |
76 | if (rights != (AS_AREA_READ | AS_AREA_CACHEABLE)) { |
76 | if (! (rights & AS_AREA_READ)) { |
77 | printf("Received bad rights on time area: %X\n", |
77 | printf("Received bad rights on time area: %X\n", |
78 | rights); |
78 | rights); |
79 | as_area_destroy(mapping); |
79 | as_area_destroy(mapping); |
80 | _exit(1); |
80 | _exit(1); |
81 | } |
81 | } |