ret = frsh_contract_negotiate(&contract, &vres);
if (ret) PERROR_AND_EXIT(ret, "frsh_contract_negotiate");
- printf("Aqcpu vres negotiated, vres-ID: %d\n", (int) vres);
+ printf("Aqcpu vres negotiated, vres-ID: %p\n", vres);
pthread_attr_init(&attr);
ret = frsh_thread_create_and_bind(vres, &thread, &attr,
work_thread, (void*) NULL);
ret = frsh_contract_negotiate(&contract, &vres);
if (ret) PERROR_AND_EXIT(ret, "frsh_contract_negotiate");
- printf("Aqcpu vres negotiated, vres-ID: %d\n", (int) vres);
+ printf("Aqcpu vres negotiated, vres-ID: %p\n", vres);
pthread_attr_init(&attr);
ret = frsh_thread_create_and_bind(vres, &thread, &attr,
work_thread, (void*) NULL);