55,7 → 55,7 |
int rc; |
void *buffer; |
|
printf("debug_regs_write()\n"); |
LOG("debug_regs_write()\n"); |
|
uspace_data = (void *)IPC_GET_ARG3(call->data); |
to_copy = sizeof(istate_t); |
63,13 → 63,13 |
|
rc = copy_from_uspace(buffer, uspace_data, to_copy); |
if (rc != 0) { |
printf("debug_regs_write() - copy failed\n"); |
LOG("debug_regs_write() - copy failed\n"); |
return rc; |
} |
|
call->buffer = buffer; |
|
printf(" - done\n"); |
LOG(" - done\n"); |
return 0; |
} |
|
80,7 → 80,7 |
int rc; |
void *buffer; |
|
printf("udebug_rp_mem_write()\n"); |
LOG("udebug_rp_mem_write()\n"); |
|
uspace_data = (void *)IPC_GET_ARG2(call->data); |
to_copy = IPC_GET_ARG4(call->data); |
89,13 → 89,13 |
|
rc = copy_from_uspace(buffer, uspace_data, to_copy); |
if (rc != 0) { |
printf(" - copy failed\n"); |
LOG(" - copy failed\n"); |
return rc; |
} |
|
call->buffer = buffer; |
|
printf(" - done\n"); |
LOG(" - done\n"); |
return 0; |
} |
|
317,7 → 317,7 |
void *buffer; |
int rc; |
|
printf("debug_regs_read()\n"); |
LOG("debug_regs_read()\n"); |
|
t = (thread_t *) IPC_GET_ARG2(call->data); |
buffer = malloc(sizeof(istate_t), 0); |
414,7 → 414,7 |
unsigned size; |
int rc; |
|
printf("udebug_receive_mem_write()\n"); |
LOG("udebug_receive_mem_write()\n"); |
|
uspace_dst = IPC_GET_ARG3(call->data); |
size = IPC_GET_ARG4(call->data); |