summaryrefslogtreecommitdiff
path: root/device/dev_name.c
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-12-20 13:29:00 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-20 23:51:47 +0100
commitbe1ce42e936c96776b661ba5a93b0c9d0d76bb31 (patch)
treeacbb27da29a312d03fbed7cce1f2069c44cfcfd9 /device/dev_name.c
parent2b33e316ac0d14b564ade0dd6fc3be136e945926 (diff)
Mark pure functions with attribute pure
Diffstat (limited to 'device/dev_name.c')
-rw-r--r--device/dev_name.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/device/dev_name.c b/device/dev_name.c
index 49d96aa..4cc046a 100644
--- a/device/dev_name.c
+++ b/device/dev_name.c
@@ -63,7 +63,7 @@ nomap(void)
* src and target are equal in first 'len' characters
* next character of target is 0 (end of string).
*/
-boolean_t
+boolean_t __attribute__ ((pure))
name_equal(src, len, target)
const char *src;
int len;