sys/arm/include/kdb.h

   1 /*-
   2  * Copyright (c) 2004 Marcel Moolenaar
   3  * All rights reserved.
   4  *
   5  * Redistribution and use in source and binary forms, with or without
   6  * modification, are permitted provided that the following conditions
   7  * are met:
   8  *
   9  * 1. Redistributions of source code must retain the above copyright
  10  *    notice, this list of conditions and the following disclaimer.
  11  * 2. Redistributions in binary form must reproduce the above copyright
  12  *    notice, this list of conditions and the following disclaimer in the
  13  *    documentation and/or other materials provided with the distribution.
  14  *
  15  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  16  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  17  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  18  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  19  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  20  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  21  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  22  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  23  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  24  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  25  *
  26  * $FreeBSD$
  27  */
  28
  29 #ifndef _MACHINE_KDB_H_
  30 #define _MACHINE_KDB_H_
  31
  32 #include <machine/frame.h>
  33 #include <machine/psl.h>
  34 #include <machine/cpufunc.h>
  35
  36 #define KDB_STOPPEDPCB(pc)      &stoppcbs[pc->pc_cpuid]
  37
  38 static __inline void
  39 kdb_cpu_clear_singlestep(void)
  40 {
  41 }
  42
  43 static __inline void
  44 kdb_cpu_set_singlestep(void)
  45 {
  46 }
  47
  48 static __inline void
  49 kdb_cpu_sync_icache(unsigned char *addr, size_t size)
  50 {
  51
  52         cpu_icache_sync_all();
  53 }
  54
  55 static __inline void
  56 kdb_cpu_trap(int type, int code)
  57 {
  58
  59         cpu_idcache_wbinv_all();
  60 }
  61
  62 #endif /* _MACHINE_KDB_H_ */