source: mainline/kernel/generic/include/macros.h@ c8752175

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since c8752175 was 94795812, checked in by Jakub Jermar <jakub@…>, 13 years ago

Check for dangerous unsigned integer overflows in check_area_conflicts().

  • Rename overflows_add() to overflows_into_positive().
  • Introduce overflows() for simple sum overflow tests.
  • Property mode set to 100644
File size: 4.5 KB
Line 
1/*
2 * Copyright (c) 2005 Jakub Jermar
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 *
9 * - Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * - Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 * - The name of the author may not be used to endorse or promote products
15 * derived from this software without specific prior written permission.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
29/** @addtogroup generic
30 * @{
31 */
32/** @file
33 */
34
35#ifndef KERN_MACROS_H_
36#define KERN_MACROS_H_
37
38#ifndef __ASM__
39
40#include <typedefs.h>
41#include <trace.h>
42
43/** Return true if the intervals overlap.
44 *
45 * @param s1 Start address of the first interval.
46 * @param sz1 Size of the first interval.
47 * @param s2 Start address of the second interval.
48 * @param sz2 Size of the second interval.
49 *
50 */
51NO_TRACE static inline int overlaps(uint64_t s1, uint64_t sz1, uint64_t s2,
52 uint64_t sz2)
53{
54 uint64_t e1 = s1 + sz1 - 1;
55 uint64_t e2 = s2 + sz2 - 1;
56
57 /* both sizes are non-zero */
58 if (sz1 && sz2)
59 return ((s1 <= e2) && (s2 <= e1));
60
61 /* one size is non-zero */
62 if (sz2)
63 return ((s1 >= s2) && (s1 <= e2));
64 if (sz1)
65 return ((s2 >= s1) && (s2 <= e1));
66
67 /* both are zero */
68 return (s1 == s2);
69}
70
71/** Return true if the second interval is within the first interval.
72 *
73 * @param s1 Start address of the first interval.
74 * @param sz1 Size of the first interval.
75 * @param s2 Start address of the second interval.
76 * @param sz2 Size of the second interval.
77 *
78 */
79NO_TRACE static inline int iswithin(uint64_t s1, uint64_t sz1, uint64_t s2,
80 uint64_t sz2)
81{
82 uint64_t e1;
83 uint64_t e2;
84
85 /* Handle the two corner cases when either sz1 or sz2 are zero. */
86 if (sz1 == 0)
87 return (s1 == s2) && (sz2 == 0);
88 e1 = s1 + sz1 - 1;
89 if (sz2 == 0)
90 return (s1 <= s2) && (s2 <= e1);
91 e2 = s2 + sz2 - 1;
92
93 /* e1 and e2 are end addresses, the sum is imune to overflow */
94 return ((s1 <= s2) && (e1 >= e2));
95}
96
97#endif /* __ASM__ */
98
99#define ispwr2(x) (((x) & ((x) - 1)) == 0)
100
101#define isdigit(d) (((d) >= '0') && ((d) <= '9'))
102#define islower(c) (((c) >= 'a') && ((c) <= 'z'))
103#define isupper(c) (((c) >= 'A') && ((c) <= 'Z'))
104#define isalpha(c) (is_lower((c)) || is_upper((c)))
105#define isalphanum(c) (is_alpha((c)) || is_digit((c)))
106#define isspace(c) \
107 (((c) == ' ') || ((c) == '\t') || ((c) == '\n') || ((c) == '\r'))
108
109#define min(a, b) ((a) < (b) ? (a) : (b))
110#define max(a, b) ((a) > (b) ? (a) : (b))
111
112#define min3(a, b, c) ((a) < (b) ? (min(a, c)) : (min(b, c)))
113#define max3(a, b, c) ((a) > (b) ? (max(a, c)) : (max(b, c)))
114
115/* Compute overlapping of physical addresses */
116#define PA_OVERLAPS(x, szx, y, szy) \
117 overlaps(KA2PA((x)), (szx), KA2PA((y)), (szy))
118
119#define KiB2SIZE(kb) ((kb) << 10)
120#define MiB2SIZE(mb) ((mb) << 20)
121
122#define STRING(arg) STRING_ARG(arg)
123#define STRING_ARG(arg) #arg
124
125#define LOWER32(arg) (((uint64_t) (arg)) & UINT32_C(0xffffffff))
126#define UPPER32(arg) (((((uint64_t) arg)) >> 32) & UINT32_C(0xffffffff))
127
128#define MERGE_LOUP32(lo, up) \
129 ((((uint64_t) (lo)) & UINT32_C(0xffffffff)) \
130 | ((((uint64_t) (up)) & UINT32_C(0xffffffff)) << 32))
131
132/* Test for sum overflow. */
133#define overflows(a, b) \
134 ((a) + (b) < (a))
135
136/* Test for sum overflow into positive numbers. */
137#define overflows_into_positive(a, b) \
138 (overflows((a), (b)) && ((a) + (b) > 0))
139
140/** Pseudorandom generator
141 *
142 * A pretty standard linear congruential pseudorandom
143 * number generator (m = 2^32 or 2^64 depending on architecture).
144 *
145 */
146#define RANDI(seed) \
147 ({ \
148 (seed) = 1103515245 * (seed) + 12345; \
149 (seed); \
150 })
151
152#endif
153
154/** @}
155 */
Note: See TracBrowser for help on using the repository browser.