ia32_pause() is an inline function. How does dtrace map instruction pointers to symbol names? Is it getting that mapping from some CTF data, and is that CTF data aware of inline functions? If so, I'd argue that behaviour is counter-intuitive and unhelpful, as this example here shows.