Re: [ACPI] Call for help: list of machines with working S3

From: Carl-Daniel Hailfinger (c-d.hailfinger.devel.2005_at_gmx.net)
Date: 02/17/05

  • Next message: David Brownell: "Re: SL811 problem on mach-pxa" 
    Date:	Thu, 17 Feb 2005 21:13:29 +0100
To: Vernon Mauery <vernux@us.ibm.com>

    Vernon Mauery schrieb:
    > Carl-Daniel Hailfinger wrote:
    >
    >>1. A first step towards better DSDTs would be to make the ASL compiler
    >>complain about the same things which are complained about by the
    >>in-kernel ACPI interpreter. An example would be the following:
    >>
    >>acpi_processor-0496 [10] acpi_processor_get_inf: Invalid PBLK length [7]
    >>
    >>The ASL compiler will not complain about it, yet the kernel will
    >>refuse to do any processor throttling with a PBLK length of 7.
    >
    >
    > This is like getting gcc to complain about run-time bugs in a program.

    Oh, gcc does that to a certain extent. For example, it has warnings
    like "this comparison is always true" or "value too big for selected
    type".

    > The compiler of a language (ASL in this case) compiles the language,
    > regardless of run-time bugs because it can only detect syntax errors.
    > And iasl does that pretty well.

    It is possible to do quite a bit of semantic verification at compile
    time, but of course there are limits to everything.

    Regards,
    Carl-Daniel 

    -- 
http://www.hailfinger.org/
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/
  • Next message: David Brownell: "Re: SL811 problem on mach-pxa"

    Relevant Pages

    • Re: [ACPI] Call for help: list of machines with working S3
      ... A first step towards better DSDTs would be to make the ASL compiler ... > complain about the same things which are complained about by the ... The compiler of a language compiles the language, regardless of run-time bugs because it can only detect syntax errors. ... send the line "unsubscribe linux-kernel" in ...
      (Linux-Kernel)
    • Re: [ACPI] Call for help: list of machines with working S3
      ... A first step towards better DSDTs would be to make the ASL compiler ... > complain about the same things which are complained about by the ... VESA BIOS calls must be available to the OS." ... send the line "unsubscribe linux-kernel" in ...
      (Linux-Kernel)
    • Re: [ANNOUNCE] ktimers subsystem
      ... >> respect to random OS worst case behaviour then they should not complain ... >> that OS N is having an additional add instruction in one of the pathes. ... > just suggesting some reasons why apps might reasonably want to know the ... send the line "unsubscribe linux-kernel" in ...
      (Linux-Kernel)
    • Re: [PATCH] fix warning about duplicate const
      ... It would be stupid to ... |> "fix" something that makes old gcc's complain, when they may be doing the ... send the line "unsubscribe linux-kernel" in ...
      (Linux-Kernel)
    • Re: [RFC] [PATCH 1/3] ioat: DMA subsystem
      ... Don't try to trick the kernel to ... not complain about the lack of a release function by giving it an empty ... send the line "unsubscribe linux-kernel" in ...
      (Linux-Kernel)