Module Name: src
Committed By: matt
Date: Thu Mar 11 08:13:18 UTC 2010
Modified Files:
src/sys/arch/mips/include [matt-nb5-mips64]: pte.h
Log Message:
Mark some inlines as __pure.
To generate a diff of this commit:
cvs rdiff -u -r1.19.18.3 -r1.19.18.4 src/sys/arch/mips/include/pte.h
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/sys/arch/mips/include/pte.h
diff -u src/sys/arch/mips/include/pte.h:1.19.18.3 src/sys/arch/mips/include/pte.h:1.19.18.4
--- src/sys/arch/mips/include/pte.h:1.19.18.3 Tue Feb 23 20:33:47 2010
+++ src/sys/arch/mips/include/pte.h Thu Mar 11 08:13:18 2010
@@ -1,4 +1,4 @@
-/* $NetBSD: pte.h,v 1.19.18.3 2010/02/23 20:33:47 matt Exp $ */
+/* $NetBSD: pte.h,v 1.19.18.4 2010/03/11 08:13:18 matt Exp $ */
/*-
* Copyright (c) 1997 The NetBSD Foundation, Inc.
@@ -126,16 +126,19 @@
PAGE_IS_RDONLY(uint32_t pte, vaddr_t va);
static __inline uint32_t
- mips_pg_wired_bit(void), mips_pg_m_bit(void),
- mips_pg_ro_bit(void), mips_pg_rw_bit(void),
- mips_pg_ropage_bit(void),
- mips_pg_cwpage_bit(void),
- mips_pg_rwpage_bit(void),
- mips_pg_global_bit(void);
-static __inline paddr_t PTE_TO_PADDR(uint32_t pte);
+ mips_pg_wired_bit(void) __pure,
+ mips_pg_m_bit(void) __pure,
+ mips_pg_ro_bit(void) __pure,
+ mips_pg_rw_bit(void) __pure,
+ mips_pg_ropage_bit(void) __pure,
+ mips_pg_cwpage_bit(void) __pure,
+ mips_pg_rwpage_bit(void) __pure,
+ mips_pg_global_bit(void) __pure;
+static __inline paddr_t PTE_TO_PADDR(uint32_t pte) __pure;
+static __inline bool PAGE_IS_RDONLY(uint32_t pte, vaddr_t va) __pure;
-static __inline paddr_t mips_tlbpfn_to_paddr(uint32_t pfn);
-static __inline uint32_t mips_paddr_to_tlbpfn(paddr_t pa);
+static __inline paddr_t mips_tlbpfn_to_paddr(uint32_t pfn) __pure;
+static __inline uint32_t mips_paddr_to_tlbpfn(paddr_t pa) __pure;
static __inline bool
