开通博客赚积分
发布资源赚积分
分类

源码开发语言/平台
当前位置：首页 > 源码/资料 > 嵌入式/单片机编程 > 嵌入式Linux > 查看源码
ip32-berr.c
资源名称：SBC-2410X_kernel.tar.gz　[点击查看]
上传用户：lgb322
上传日期：2013-02-24
资源大小：30529k
文件大小：2k
源码类别：

嵌入式Linux

开发平台：

Unix_Linux

ip32-berr.c：源码内容
  1. /*
  2.  * This file is subject to the terms and conditions of the GNU General Public
  3.  * License.  See the file "COPYING" in the main directory of this archive
  4.  * for more details.
  5.  *
  6.  * Copyright (C) 1994, 1995, 1996, 1999, 2000 by Ralf Baechle
  7.  * Copyright (C) 1999, 2000 by Silicon Graphics
  8.  */
  9. #include <linux/init.h>
  10. #include <linux/kernel.h>
  11. #include <asm/uaccess.h>
  12. #include <asm/paccess.h>
  13. #include <asm/addrspace.h>
  14. #include <asm/ptrace.h>
  16. /* XXX I have no idea what this does --kmw */
  18. extern asmlinkage void handle_ibe(void);
  19. extern asmlinkage void handle_dbe(void);
  21. extern const struct exception_table_entry __start___dbe_table[];
  22. extern const struct exception_table_entry __stop___dbe_table[];
  24. static inline unsigned long
  25. search_one_table(const struct exception_table_entry *first,
  26.                  const struct exception_table_entry *last,
  27.                  unsigned long value)
  28. {
  29. while (first <= last) {
  30. const struct exception_table_entry *mid;
  31. long diff;
  33. mid = (last - first) / 2 + first;
  34. diff = mid->insn - value;
  35. if (diff == 0)
  36. return mid->nextinsn;
  37. else if (diff < 0)
  38. first = mid+1;
  39. else
  40. last = mid-1;
  41. }
  42. return 0;
  43. }
  45. static inline unsigned long
  46. search_dbe_table(unsigned long addr)
  47. {
  48. unsigned long ret;
  50. /* There is only the kernel to search.  */
  51. ret = search_one_table(__start___dbe_table, __stop___dbe_table-1, addr);
  52. if (ret) return ret;
  54. return 0;
  55. }
  57. void do_ibe(struct pt_regs *regs)
  58. {
  59. printk("Got ibe at 0x%lxn", regs->cp0_epc);
  60. show_regs(regs);
  61. dump_tlb_addr(regs->cp0_epc);
  62. force_sig(SIGBUS, current);
  63. while(1);
  64. }
  66. void do_dbe(struct pt_regs *regs)
  67. {
  68. unsigned long fixup;
  70. fixup = search_dbe_table(regs->cp0_epc);
  71. if (fixup) {
  72. long new_epc;
  74. new_epc = fixup_exception(dpf_reg, fixup, regs->cp0_epc);
  75. regs->cp0_epc = new_epc;
  76. return;
  77. }
  79. printk("Got dbe at 0x%lxn", regs->cp0_epc);
  80. show_regs(regs);
  81. dump_tlb_all();
  82. while(1);
  83. force_sig(SIGBUS, current);
  84. }
  86. void __init
  87. bus_error_init(void)
  88. {
  89. int dummy;
  91. set_except_vector(6, handle_ibe);
  92. set_except_vector(7, handle_dbe);
  94. /* At this time nothing uses the DBE protection mechanism on the
  95.    O2, so this here is needed to make the kernel link.  */
  96. get_dbe(dummy, (int *)KSEG0);
  97. }