sgx_gdb.h 559 B

12345678910111213141516
  1. /* -*- mode:c; c-file-style:"k&r"; c-basic-offset: 4; tab-width:4; indent-tabs-mode:nil; mode:auto-fill; fill-column:78; -*- */
  2. /* vim: set ts=4 sw=4 et tw=78 fo=cqt wm=0: */
  3. #define MAX_DBG_THREADS 64
  4. struct enclave_dbginfo {
  5. int pid;
  6. unsigned long base, size;
  7. unsigned long ssaframesize;
  8. void * aep;
  9. int thread_tids[MAX_DBG_THREADS];
  10. void * tcs_addrs[MAX_DBG_THREADS];
  11. unsigned long long thread_stepping;
  12. };
  13. #define DBGINFO_ADDR 0x100000000000