]>
Commit | Line | Data |
---|---|---|
04277e02 | 1 | /* Copyright (C) 2001-2019 Free Software Foundation, Inc. |
d5efd131 MF |
2 | This file is part of the GNU C Library. |
3 | Contributed by David Mosberger-Tang <davidm@hpl.hp.com>. | |
4 | ||
5 | The GNU C Library is free software; you can redistribute it and/or | |
6 | modify it under the terms of the GNU Lesser General Public | |
7 | License as published by the Free Software Foundation; either | |
8 | version 2.1 of the License, or (at your option) any later version. | |
9 | ||
10 | The GNU C Library is distributed in the hope that it will be useful, | |
11 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
13 | Lesser General Public License for more details. | |
14 | ||
15 | You should have received a copy of the GNU Lesser General Public | |
75efb018 MF |
16 | License along with the GNU C Library; if not, see |
17 | <http://www.gnu.org/licenses/>. */ | |
d5efd131 MF |
18 | |
19 | #ifndef _ia64_rse_h | |
20 | #define _ia64_rse_h | |
21 | ||
22 | #include <features.h> | |
23 | ||
24 | /* Register stack engine related helper functions. This file may be | |
25 | used in applications, so be careful about the name-space and give | |
26 | some consideration to non-GNU C compilers (though __inline is | |
27 | fine). */ | |
28 | ||
29 | static __inline unsigned long | |
30 | ia64_rse_slot_num (unsigned long *addr) | |
31 | { | |
32 | return (((unsigned long) addr) >> 3) & 0x3f; | |
33 | } | |
34 | ||
35 | /* Return TRUE if ADDR is the address of an RNAT slot. */ | |
36 | ||
37 | static __inline unsigned long | |
38 | ia64_rse_is_rnat_slot (unsigned long *addr) | |
39 | { | |
40 | return ia64_rse_slot_num (addr) == 0x3f; | |
41 | } | |
42 | ||
43 | /* Returns the address of the RNAT slot that covers the slot at | |
44 | address SLOT_ADDR. */ | |
45 | ||
46 | static __inline unsigned long * | |
47 | ia64_rse_rnat_addr (unsigned long *slot_addr) | |
48 | { | |
49 | return (unsigned long *) ((unsigned long) slot_addr | (0x3f << 3)); | |
50 | } | |
51 | ||
52 | /* Calcuate the number of registers in the dirty partition starting at | |
53 | BSPSTORE with a size of DIRTY bytes. This isn't simply DIRTY | |
54 | divided by eight because the 64th slot is used to store ar.rnat. */ | |
55 | ||
56 | static __inline unsigned long | |
57 | ia64_rse_num_regs (unsigned long *bspstore, unsigned long *bsp) | |
58 | { | |
59 | unsigned long slots = (bsp - bspstore); | |
60 | ||
61 | return slots - (ia64_rse_slot_num(bspstore) + slots)/0x40; | |
62 | } | |
63 | ||
64 | /* The inverse of the above: given bspstore and the number of | |
65 | registers, calculate ar.bsp. */ | |
66 | ||
67 | static __inline unsigned long * | |
68 | ia64_rse_skip_regs (unsigned long *addr, long num_regs) | |
69 | { | |
70 | long delta = ia64_rse_slot_num(addr) + num_regs; | |
71 | ||
72 | if (num_regs < 0) | |
73 | delta -= 0x3e; | |
74 | return addr + num_regs + delta/0x3f; | |
75 | } | |
76 | ||
77 | #endif /* _ia64_rse_h */ |