Subversion Repositories HelenOS

Rev

Go to most recent revision | Blame | Last modification | View Log | Download | RSS feed

  1. /*
  2.  * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
  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.  * - Redistributions of source code must retain the above copyright
  10.  *   notice, this list of conditions and the following disclaimer.
  11.  * - 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.  * - The name of the author may not be used to endorse or promote products
  15.  *   derived from this software without specific prior written permission.
  16.  *
  17.  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  18.  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  19.  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  20.  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  21.  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  22.  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  23.  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  24.  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  25.  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  26.  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  27.  */
  28.  
  29. /** @addtogroup arm32mm
  30.  * @{
  31.  */
  32. /** @file
  33.  */
  34. #ifndef KERN_arm32_PAGE_FAULT_H_
  35. #define KERN_arm32_PAGE_FAULT_H
  36.  
  37. #include <arch/types.h>
  38.  
  39. /**
  40.  * Decribes structure of fault status register in coprocessor 15
  41.  */
  42. typedef struct {
  43.         unsigned status              : 3;
  44.         unsigned domain              : 4;
  45.         unsigned zero            : 1;
  46.         unsigned should_be_zero      : 24;
  47. } __attribute__ ((packed)) fault_status_t;
  48.  
  49. /**
  50.  * Help union used for overcasting integer value into fault_status_t type
  51.  */
  52. typedef union {
  53.     fault_status_t  fsr;
  54.     uint32_t    dummy;
  55. } fault_status_union_t;
  56.  
  57. /**
  58.  * Very simplyfied description of instruction code structure intended for
  59.  * recognising memmory access of instruction ( reads or writes into memmory)
  60.  * more details: see ARM architecture preference
  61.  *   chapter:3.1 Instruction set encoding
  62.  */
  63. typedef struct {
  64.         unsigned dummy1              : 4;
  65.         unsigned bit4                : 1;
  66.         unsigned bits567             : 3;
  67.         unsigned dummy               : 12;
  68.         unsigned access              : 1;
  69.         unsigned opcode              : 4;
  70.         unsigned instr_type          : 3;
  71.         unsigned condition       : 4;
  72. } __attribute__ ((packed)) instruction_t;
  73.  
  74. /**
  75.  *  Help union used for overcasting ip register (uint_32_t) value into
  76.  *   instruction_t pointer
  77.  */
  78. typedef union {
  79.     instruction_t*  instr;
  80.     uint32_t    ip;
  81. } instruction_union_t;
  82.  
  83. extern void prefetch_abort(int n, istate_t *istate);
  84. extern void data_abort(int n, istate_t *istate);
  85.  
  86. #endif
  87.  
  88. /** @}
  89.  */
  90.  
  91.