ia32/gdb_server/gdb.c

101 static unsigned char compute_checksum(char *data, int length)
105         checksum += (unsigned char) data[i];
188     char *command_ptr = &buf.data[COMMAND_START];
191     char *checksum = &buf.data[buf.checksum_index + 1];
192     // Calculate checksum of data
259     // Buffer for raw data
260     delegate_mem_range_t data;
261     // Buffer for data formatted as hex string
267     err = delegate_read_memory(addr, length, &data);
272         // Format the data
274             snprintf(&data_string[CHAR_HEX_SIZE * i], 3, "%02x", data.data[i] & 0xff);
281 // M[addr],[length]:[data]
305     // Buffer for data to be written
306     delegate_mem_range_t data;
307     memset(data.data, 0, length);
308     // Parse data to be written as raw hex
310         sscanf(data_string, "%2hhx", &data.data[i]);
315     err = delegate_write_memory(addr, length, data);
324 // X[addr],[length]:[data]
334     delegate_mem_range_t data = {0};
342     // Copy the raw data to the expected location
344         ZF_LOGE("data is NULL");
348     memcpy(&data.data, bin_data, length);
352     int err = delegate_write_memory(addr, length, data);
419     char data[buf_len];
420     memset(data, 0, buf_len);
421     // Read the register data from the buffer and marshall into a string
432         sprintf(data + sizeof(seL4_Word) * CHAR_HEX_SIZE * i,
435     send_message(data, buf_len);
465     char data[buf_len];
466     data[buf_len - 1] = 0;
469     sprintf(data, "%0*x", seL4_WordBits / 4, BSWAP_WORD(reg));
470     send_message(data, buf_len);
478     // Truncate data to register length
484     // Marshall data
485     seL4_UserContext data;
488         string_to_word_data(&data_string[2 * i * sizeof(seL4_Word)], ((seL4_Word *)&data) + seL4_register_number);
489         ((seL4_Word *)&data)[seL4_register_number] = BSWAP_WORD(((seL4_Word *)&data)[seL4_register_number]);
491     delegate_write_registers(gdb_state->current_thread_tcb, data, num_regs_data);
492     gdb_state->current_pc = data.eip;
497 // P[reg_num]=[data]
508         seL4_Word data;
509         string_to_word_data(data_string, &data);
510         data = BSWAP_WORD(data);
516             delegate_write_register(gdb_state->current_thread_tcb, data, seL4_reg_num);
518                 gdb_state->current_pc = data;