119a120
> #include <unistd.h>
122d122
< #include <unistd.h>
145,146c145,146
< RemoteGDB::RemoteGDB(System *_system, ThreadContext *c)
< : BaseRemoteGDB(_system, c, KGDB_NUMREGS)
---
> RemoteGDB::RemoteGDB(System *_system, ThreadContext *tc)
> : BaseRemoteGDB(_system, tc, KGDB_NUMREGS)
151,155c151,153
< ///////////////////////////////////////////////////////////
< // RemoteGDB::acc
< //
< // Determine if the mapping at va..(va+len) is valid.
< //
---
> /*
> * Determine if the mapping at va..(va+len) is valid.
> */
180,185c178,184
< /**
< * This code says that all accesses to palcode (instruction and data)
< * are valid since there isn't a va->pa mapping because palcode is
< * accessed physically. At some point this should probably be cleaned up
< * but there is no easy way to do it.
< */
---
> /**
> * This code says that all accesses to palcode (instruction
> * and data) are valid since there isn't a va->pa mapping
> * because palcode is accessed physically. At some point this
> * should probably be cleaned up but there is no easy way to
> * do it.
> */
191c190,191
< PageTableEntry pte = kernel_pte_lookup(context->getPhysPort(), ptbr, va);
---
> PageTableEntry pte =
> kernel_pte_lookup(context->getPhysPort(), ptbr, va);
204,208c204,207
< ///////////////////////////////////////////////////////////
< // RemoteGDB::getregs
< //
< // Translate the kernel debugger register format into
< // the GDB register format.
---
> /*
> * Translate the kernel debugger register format into the GDB register
> * format.
> */
234,239c233,236
< ///////////////////////////////////////////////////////////
< // RemoteGDB::setregs
< //
< // Translate the GDB register format into the kernel
< // debugger register format.
< //
---
> /*
> * Translate the GDB register format into the kernel debugger register
> * format.
> */