From: Dawson Engler <engler@csl.Stanford.EDU>
To: andrew.grover@intel.com (Grover, Andrew)
Cc: linux-kernel@vger.kernel.org, mc@cs.Stanford.EDU
Subject: Re: [CHECKER] 56 potential lock/unlock bugs in 2.5.8
Date: Thu, 11 Jul 2002 16:26:07 -0700 (PDT) [thread overview]
Message-ID: <200207112326.QAA04331@csl.Stanford.EDU> (raw)
In-Reply-To: <59885C5E3098D511AD690002A5072D3C02AB7F9A@orsmsx111.jf.intel.com> from "Grover, Andrew" at Jul 11, 2002 03:32:24 PM
> > From: Dawson Engler [mailto:engler@csl.Stanford.EDU]
> > ---------------------------------------------------------
> > [BUG] all other case arms call __sti(); however, it may be
> > that safe_halt
> > does something weird.
> > /u2/engler/mc/oses/linux/2.5.8/drivers/acpi/acpi_processor.c:5
>
> #define safe_halt() __asm__ __volatile__("sti; hlt": : :"memory")
>
> I think we're OK for now. I doubt safe_halt will change, but if it does I'll
> fix this issue.
ah. missed the sti. thanks!
next prev parent reply other threads:[~2002-07-11 23:23 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-07-11 22:32 Grover, Andrew
2002-07-11 23:26 ` Dawson Engler [this message]
[not found] <200207112135.OAA03801@csl.Stanford.EDU.suse.lists.linux.kernel>
2002-07-11 22:34 ` Andi Kleen
-- strict thread matches above, loose matches on Subject: below --
2002-07-11 21:35 Dawson Engler
2002-07-11 21:54 ` Thunder from the hill
2002-07-11 22:21 ` Oliver Neukum
2002-07-11 23:14 ` Thunder from the hill
2002-07-11 23:32 ` Andreas Dilger
2002-07-11 23:45 ` Thunder from the hill
2002-07-11 23:41 ` Chris Wright
2002-07-12 0:21 ` Andrew Morton
2002-07-12 1:44 ` Arnaldo Carvalho de Melo
2002-07-12 17:40 ` Roman Zippel
2002-07-12 17:53 ` Thunder from the hill
2002-07-12 18:37 ` Roman Zippel
2002-07-12 18:05 ` Dave Jones
2002-07-12 18:32 ` Roman Zippel
2002-07-12 18:37 ` Dave Jones
2002-07-12 20:34 ` Roman Zippel
2002-07-12 20:48 ` Dave Jones
2002-07-12 21:30 ` Roman Zippel
2002-07-12 21:38 ` Dave Jones
2002-07-12 21:56 ` Roman Zippel
2002-07-12 22:14 ` Dave Jones
2002-07-12 22:34 ` Roman Zippel
2002-07-12 22:41 ` Dave Jones
2002-07-12 13:17 ` David Woodhouse
2002-07-12 13:26 ` Thunder from the hill
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200207112326.QAA04331@csl.Stanford.EDU \
--to=engler@csl.stanford.edu \
--cc=andrew.grover@intel.com \
--cc=linux-kernel@vger.kernel.org \
--cc=mc@cs.Stanford.EDU \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®