diff options
| author | Neal H. Walfield <neal@gnu.org> | 2008-11-17 09:48:46 +0100 |
|---|---|---|
| committer | Neal H. Walfield <neal@gnu.org> | 2008-11-17 09:48:46 +0100 |
| commit | ded7dbfea52dc4c4618d6197040894f67962ef74 (patch) | |
| tree | f654a8da5679766a00002daa1286473783a4e9f1 | |
| parent | 4fc3ac0262a197a4174cd3b2955f4480d662d959 (diff) | |
Add _L4_kdb system call.
2008-11-17 Neal H. Walfield <neal@gnu.org>
* ia32/l4/bits/syscall.h (_L4_kdb): New function.
| -rw-r--r-- | libl4/ChangeLog | 4 | ||||
| -rw-r--r-- | libl4/ia32/l4/bits/syscall.h | 9 |
2 files changed, 13 insertions, 0 deletions
diff --git a/libl4/ChangeLog b/libl4/ChangeLog index 01d1c79..d75d52b 100644 --- a/libl4/ChangeLog +++ b/libl4/ChangeLog @@ -1,3 +1,7 @@ +2008-11-17 Neal H. Walfield <neal@gnu.org> + + * ia32/l4/bits/syscall.h: New function. + 2008-11-11 Neal H. Walfield <neal@gnu.org> * ia32/l4/bits/vregs.h (_L4_utcb): Use %gs:0. diff --git a/libl4/ia32/l4/bits/syscall.h b/libl4/ia32/l4/bits/syscall.h index 55bd0c2..ae10e6e 100644 --- a/libl4/ia32/l4/bits/syscall.h +++ b/libl4/ia32/l4/bits/syscall.h @@ -332,3 +332,12 @@ _L4_set_gs0 (_L4_word_t user_gs0) : "a" (user_gs0) : "ecx", "edx", "esi", "edi", "ebx"); } + +static inline void +_L4_attribute_always_inline +_L4_kdb (char *message) +{ + __asm__ __volatile__ ("int $3\n" + : + : "a" (message)); +} |