Re: [PATCH] pci: Fix bus resource assignment on 32 bits with 64b resources

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 




On Dec 6, 2007, at 2:16 AM, Matthew Wilcox wrote:

On Thu, Dec 06, 2007 at 06:58:54PM +1100, Benjamin Herrenschmidt wrote:
I was just hoping somebody had a better idea, like a way to add a new
format specifier to printk without losing gcc type checking :-)

It's been discussed before.  Some of the solutions discussed:

- Add something like PRI_RES which can be concatenated into a printk.
  Ugly.
- Patch gcc to allow user-definable types. I think OpenBSD has a patch
  for this.  Then we have to get that patch propagated to all the
  people who compile the kernel.  Unappetising.
- Disable gcc's printk checking, teach sparse to typecheck printk.
  Most people don't run sparse yet.

How does gcc deal with glibc extension to allow people to add their own specifiers?

http://www.gnu.org/software/libc/manual/html_node/Customizing-Printf.html

- k

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [email protected]
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

[Index of Archives]     [Kernel Newbies]     [Netfilter]     [Bugtraq]     [Photo]     [Stuff]     [Gimp]     [Yosemite News]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Video 4 Linux]     [Linux for the blind]     [Linux Resources]
  Powered by Linux