27c27
< * $FreeBSD: head/sys/ia64/include/ia64_cpu.h 221271 2011-04-30 20:49:00Z marcel $
---
> * $FreeBSD: head/sys/ia64/include/ia64_cpu.h 221889 2011-05-14 14:36:08Z marcel $
511,515c511,518
< static __inline void
< ia64_srlz_d(void)
< {
< __asm __volatile("srlz.d");
< }
---
> /*
> * Avoid inline functions for the following so that they still work
> * correctly when inlining is not enabled (e.g. -O0). Function calls
> * need data serialization after setting psr, which results in a
> * hazard.
> */
> #define ia64_srlz_d() __asm __volatile("srlz.d")
> #define ia64_srlz_i() __asm __volatile("srlz.i;;")
517,522d519
< static __inline void
< ia64_srlz_i(void)
< {
< __asm __volatile("srlz.i;;");
< }
<