mirror of
https://github.com/drasko/codezero.git
synced 2026-01-13 03:13:15 +01:00
d39ffc6acd
Any thread that touches a utcb inside the kernel now properly checks whether the utcb is mapped on its owner, and whether the mapped physical address matches that of the current thread's tables. If not the tables are updated. This way, even though page tables become incoherent on utcb address change situations (such as fork() exit(), execve()) they get updated as they are referenced. Since mappings are added only conditionally, caches are flushed only when an update is necessary.
79 lines
1.9 KiB
C
79 lines
1.9 KiB
C
/*
|
|
* ARM-specific system call details.
|
|
*
|
|
* Copyright (C) 2007 Bahadir Balban
|
|
*/
|
|
|
|
#ifndef __ARM_GLUE_SYSCALL_H__
|
|
#define __ARM_GLUE_SYSCALL_H__
|
|
|
|
#include <l4/types.h>
|
|
#include INC_GLUE(message.h)
|
|
|
|
/* Only specific call is the trap that gives back the kip address
|
|
* from which other system calls can be discovered. */
|
|
#define L4_TRAP_KIP 0xB4
|
|
|
|
/* Used in the kernel to refer to virtual address of this page.
|
|
* User space discovers it from the KIP */
|
|
#define ARM_SYSCALL_PAGE 0xFFFFF000
|
|
|
|
extern unsigned int __syscall_page_start;
|
|
|
|
/*
|
|
* This structure is saved on the kernel stack
|
|
* just after entering a system call exception.
|
|
*/
|
|
typedef struct syscall_context {
|
|
u32 spsr;
|
|
u32 r0;
|
|
u32 r1;
|
|
u32 r2;
|
|
u32 r3; /* MR0 */
|
|
u32 r4; /* MR1 */
|
|
u32 r5; /* MR2 */
|
|
u32 r6; /* MR3 */
|
|
u32 r7; /* MR4 */
|
|
u32 r8; /* MR5 */
|
|
u32 r9;
|
|
u32 r10;
|
|
u32 r11;
|
|
u32 r12;
|
|
u32 sp_usr;
|
|
u32 lr_usr;
|
|
} __attribute__((__packed__)) syscall_context_t;
|
|
|
|
typedef struct msg_regs {
|
|
u32 mr0;
|
|
u32 mr1;
|
|
u32 mr2;
|
|
u32 mr3;
|
|
u32 mr4;
|
|
u32 mr5;
|
|
} msg_regs_t;
|
|
|
|
/* NOTE:
|
|
* These references are valid only when they have been explicitly set
|
|
* by a kernel entry point, e.g. a system call, a data abort handler
|
|
* that imitates a page fault ipc etc.
|
|
*
|
|
* Second note:
|
|
* _If_ these refer to real utcb's in the future, make sure to have
|
|
* utcb_map_lazily() check so that they're safe accesses.
|
|
*/
|
|
#define KTCB_REF_ARG0(ktcb) (&(ktcb)->syscall_regs->r0)
|
|
#define KTCB_REF_MR0(ktcb) (&(ktcb)->syscall_regs->MR0_REGISTER)
|
|
|
|
/* Represents each syscall. We get argument registers
|
|
* from stack for now. This is slower but the simplest. */
|
|
typedef int (*syscall_fn_t)(struct syscall_context *regs);
|
|
|
|
/* Entry point for syscall dispatching. Called from asm */
|
|
int syscall(struct syscall_context *regs, unsigned long);
|
|
|
|
/* Syscall-related initialiser called during system init. */
|
|
void syscall_init(void);
|
|
void kip_init_syscalls(void);
|
|
|
|
#endif /* __ARM_GLUE_SYSCALL_H__ */
|