1/*
2 * Copyright 2014 Google, Inc.
3 * Copyright (c) 2002-2005 The Regents of The University of Michigan
4 * All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions are
8 * met: redistributions of source code must retain the above copyright

--- 241 unchanged lines hidden (view full) ---

250#ifdef KGDB_FP_REGS
251 for (int i = 0; i < NumFloatArchRegs; ++i) {
252 context->setFloatRegBits(i, gdbregs.regs64[i + KGDB_REG_F0]);
253 }
254#endif
255 context->pcState(gdbregs.regs64[KGDB_REG_PC]);
256}
257
258// Write bytes to kernel address space for debugger.
259bool
260RemoteGDB::write(Addr vaddr, size_t size, const char *data)
261{
262 if (BaseRemoteGDB::write(vaddr, size, data)) {
263#ifdef IMB
264 alpha_pal_imb();
265#endif

--- 14 unchanged lines hidden ---