/usr/include/xenomai/asm-arm/system.h is in libxenomai-dev 2.6.2.1-2ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 | /*
* Copyright (C) 2001,2002,2003,2004 Philippe Gerum <rpm@xenomai.org>.
*
* ARM port
* Copyright (C) 2005 Stelian Pop
*
* Xenomai is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* Xenomai is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with Xenomai; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
* 02111-1307, USA.
*/
#ifndef _XENO_ASM_ARM_SYSTEM_H
#define _XENO_ASM_ARM_SYSTEM_H
#ifdef __KERNEL__
#include <linux/ptrace.h>
#include <asm-generic/xenomai/system.h>
#include <asm/xenomai/syscall.h>
#define XNARCH_THREAD_STACKSZ 4096
#define xnarch_stack_size(tcb) ((tcb)->stacksize)
#define xnarch_stack_base(tcb) ((tcb)->stackbase)
#define xnarch_stack_end(tcb) ((caddr_t)(tcb)->stackbase - (tcb)->stacksize)
#define xnarch_user_task(tcb) ((tcb)->user_task)
#define xnarch_user_pid(tcb) ((tcb)->user_task->pid)
struct xnthread;
struct task_struct;
typedef struct xnarchtcb { /* Per-thread arch-dependent block */
/* Kernel mode side */
#ifdef CONFIG_XENO_HW_FPU
rthal_fpenv_t fpuenv;
rthal_fpenv_t *fpup; /* Pointer to the FPU backup area */
struct task_struct *user_fpu_owner;
/* Pointer the the FPU owner in userspace:
- NULL for RT K threads,
- last_task_used_math for Linux US threads (only current or NULL when MP)
- current for RT US threads.
*/
unsigned is_root;
#define xnarch_fpu_ptr(tcb) ((tcb)->fpup)
#else /* !CONFIG_XENO_HW_FPU */
#define xnarch_fpu_ptr(tcb) NULL
#endif /* CONFIG_XENO_HW_FPU */
unsigned stacksize; /* Aligned size of stack (bytes) */
unsigned long *stackbase; /* Stack space */
/* User mode side */
struct task_struct *user_task; /* Shadowed user-space task */
struct task_struct *active_task; /* Active user-space task */
struct mm_struct *mm;
struct mm_struct *active_mm;
struct thread_info ti; /* Holds kernel-based thread info */
struct thread_info *tip; /* Pointer to the active thread info (ti or user->thread_info). */
#ifdef XNARCH_HAVE_MAYDAY
struct {
unsigned long pc;
unsigned long r0;
#ifdef CONFIG_XENO_ARM_EABI
unsigned long r7;
#endif
#ifdef CONFIG_ARM_THUMB
unsigned long psr;
#endif
} mayday;
#endif
/* Init block */
struct xnthread *self;
int imask;
const char *name;
void (*entry)(void *cookie);
void *cookie;
} xnarchtcb_t;
typedef struct xnarch_fltinfo {
unsigned exception;
struct pt_regs *regs;
} xnarch_fltinfo_t;
#define xnarch_fault_trap(fi) ((fi)->exception)
#define xnarch_fault_code(fi) (0)
#define xnarch_fault_pc(fi) ((fi)->regs->ARM_pc - (thumb_mode((fi)->regs) ? 2 : 4)) /* XXX ? */
#ifndef CONFIG_XENO_HW_FPU
/* It is normal on ARM for user-space support running with a kernel compiled
with FPU support to make FPU faults, even on the context of real-time threads
which do not otherwise use FPU, so we simply ignore these faults. */
#define xnarch_fault_fpu_p(fi) (0)
#else /* CONFIG_XENO_HW_FPU */
static inline int xnarch_fault_fpu_p(struct xnarch_fltinfo *fi)
{
/* This function does the same thing to decode the faulting instruct as
"call_fpe" in arch/arm/entry-armv.S */
static unsigned copro_to_exc[16] = {
IPIPE_TRAP_UNDEFINSTR,
/* FPE */
IPIPE_TRAP_FPU, IPIPE_TRAP_FPU,
IPIPE_TRAP_UNDEFINSTR,
#ifdef CONFIG_CRUNCH
IPIPE_TRAP_FPU, IPIPE_TRAP_FPU, IPIPE_TRAP_FPU,
#else /* !CONFIG_CRUNCH */
IPIPE_TRAP_UNDEFINSTR, IPIPE_TRAP_UNDEFINSTR, IPIPE_TRAP_UNDEFINSTR,
#endif /* !CONFIG_CRUNCH */
IPIPE_TRAP_UNDEFINSTR, IPIPE_TRAP_UNDEFINSTR, IPIPE_TRAP_UNDEFINSTR,
#ifdef CONFIG_VFP
IPIPE_TRAP_VFP, IPIPE_TRAP_VFP,
#else /* !CONFIG_VFP */
IPIPE_TRAP_UNDEFINSTR, IPIPE_TRAP_UNDEFINSTR,
#endif /* !CONFIG_VFP */
IPIPE_TRAP_UNDEFINSTR, IPIPE_TRAP_UNDEFINSTR,
IPIPE_TRAP_UNDEFINSTR, IPIPE_TRAP_UNDEFINSTR,
};
unsigned instr, exc, cp;
char *pc;
if (fi->exception == IPIPE_TRAP_FPU)
return 1;
#ifdef CONFIG_VFP
if (fi->exception == IPIPE_TRAP_VFP)
goto trap_vfp;
#endif
/* When an FPU fault occurs in user-mode, it will be properly resolved
before __ipipe_dispatch_event is called. */
if (fi->exception != IPIPE_TRAP_UNDEFINSTR || xnarch_fault_um(fi))
return 0;
pc = (char *) xnarch_fault_pc(fi);
if (unlikely(thumb_mode(fi->regs))) {
unsigned short thumbh, thumbl;
#if defined(CONFIG_ARM_THUMB) && __LINUX_ARM_ARCH__ >= 6 && defined(CONFIG_CPU_V7)
#if __LINUX_ARM_ARCH__ < 7
if (cpu_architecture() < CPU_ARCH_ARMv7)
#else
if (0)
#endif /* arch < 7 */
#endif /* thumb && arch >= 6 && cpu_v7 */
return 0;
thumbh = *(unsigned short *) pc;
thumbl = *((unsigned short *) pc + 1);
if ((thumbh & 0x0000f800) < 0x0000e800)
return 0;
instr = (thumbh << 16) | thumbl;
#ifdef CONFIG_NEON
if ((instr & 0xef000000) == 0xef000000
|| (instr & 0xff100000) == 0xf9000000)
goto trap_vfp;
#endif
} else {
instr = *(unsigned *) pc;
#ifdef CONFIG_NEON
if ((instr & 0xfe000000) == 0xf2000000
|| (instr & 0xff100000) == 0xf4000000)
goto trap_vfp;
#endif
}
if ((instr & 0x0c000000) != 0x0c000000)
return 0;
cp = (instr & 0x00000f00) >> 8;
#ifdef CONFIG_IWMMXT
/* We need something equivalent to _TIF_USING_IWMMXT for Xenomai kernel
threads */
if (cp <= 1) {
fi->exception = IPIPE_TRAP_FPU;
return 1;
}
#endif
exc = copro_to_exc[cp];
#ifdef CONFIG_VFP
if (exc == IPIPE_TRAP_VFP) {
trap_vfp:
/* If an exception is pending, the VFP fault is not really an
"FPU unavailable" fault, so we return undefinstr in that
case, the nucleus will let linux handle the fault. */
exc = rthal_vfp_fmrx(FPEXC);
if (exc & (FPEXC_EX|FPEXC_DEX)
|| ((exc & FPEXC_EN) && rthal_vfp_fmrx(FPSCR) & FPSCR_IXE))
exc = IPIPE_TRAP_UNDEFINSTR;
else
exc = IPIPE_TRAP_VFP;
}
#endif
fi->exception = exc;
return exc != IPIPE_TRAP_UNDEFINSTR;
}
#endif /* CONFIG_XENO_HW_FPU */
/* The following predicates are only usable over a regular Linux stack
context. */
#define xnarch_fault_pf_p(fi) ((fi)->exception == IPIPE_TRAP_ACCESS)
#define xnarch_fault_bp_p(fi) ((current->ptrace & PT_PTRACED) && \
((fi)->exception == IPIPE_TRAP_BREAK))
#define xnarch_fault_notify(fi) (!xnarch_fault_bp_p(fi))
#ifdef __cplusplus
extern "C" {
#endif
static inline void *xnarch_alloc_host_mem (u_long bytes)
{
if (bytes > 128*1024)
return vmalloc(bytes);
return kmalloc(bytes,GFP_KERNEL);
}
static inline void xnarch_free_host_mem (void *chunk, u_long bytes)
{
if (bytes > 128*1024)
vfree(chunk);
else
kfree(chunk);
}
static inline void *xnarch_alloc_stack_mem(u_long bytes)
{
return kmalloc(bytes, GFP_KERNEL);
}
static inline void xnarch_free_stack_mem(void *chunk, u_long bytes)
{
kfree(chunk);
}
#ifdef __cplusplus
}
#endif
#else /* !__KERNEL__ */
#include <nucleus/system.h>
#include <bits/local_lim.h>
#endif /* __KERNEL__ */
#endif /* !_XENO_ASM_ARM_SYSTEM_H */
// vim: ts=4 et sw=4 sts=4
|