64 bit file seeking (XCC)
[akaros.git] / tests / msr_cycling_vcores.c
index ae59e35..eb71aea 100644 (file)
@@ -21,11 +21,10 @@ uint64_t begin = 0, end = 0;
 
 int main(int argc, char** argv)
 {
+       printf("Good chance this doesn't work anymore!\n");
        mcs_barrier_init(&b, max_vcores());
 
        vcore_request(max_vcores());
-       printf("not enough vcores, going to try it manually\n");
-       sys_resource_req(RES_CORES, max_vcores(), 1, REQ_SOFT);
        printf("We're screwed!\n");
 
        /* should never make it here */
@@ -49,7 +48,7 @@ void vcore_entry(void)
                        udelay(15000000);
                        printf("Proc %d requesting its cores again\n", getpid());
                        begin = read_tsc();
-                       sys_resource_req(RES_CORES, max_vcores(), 1, REQ_SOFT);
+                       vcore_request(max_vcores() - 1); /* since we already have 1 */
                        mcs_barrier_wait(&b, vcoreid);
                        end = read_tsc();
                        printf("Took %llu usec (%llu nsec) to get my yielded cores back.\n",