git.barrelfish.org Git - barrelfish/blob - lib/barrelfish/arch/x86_64/sys_debug.c

   1 /**
   2  * \file
   3  * \brief Debug system calls, specific for x86_64, user-side
   4  */
   5
   6 /*
   7  * Copyright (c) 2007, 2008, 2009, 2010, ETH Zurich.
   8  * All rights reserved.
   9  *
  10  * This file is distributed under the terms in the attached LICENSE file.
  11  * If you do not find this file, copies can be found by writing to:
  12  * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
  13  */
  14
  15 // None