This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / arch / alpha / lib / dbg_stackcheck.S
blob78f6b924ad8f18f5502b555b4a58b85b5748be44
1 /*
2  * arch/alpha/lib/dbg_stackcheck.S
3  * Contributed by Richard Henderson (rth@tamu.edu)
4  *
5  * Verify that we have not overflowed the stack.  Oops if we have.
6  */
8 #include <asm/asm-offsets.h>
10         .text
11         .set noat
13         .align 3
14         .globl _mcount
15         .ent _mcount
16 _mcount:
17         .frame $30, 0, $28, 0
18         .prologue 0
20         lda     $0, TASK_SIZE($8)
21         cmpult  $30, $0, $0
22         bne     $0, 1f
23         ret     ($28)
24 1:      stq     $31, -8($31)    # oops me, damn it.
25         br      1b
27         .end _mcount