Messages in this thread |  | | | Date | Mon, 13 Oct 2008 18:16:16 -0700 | | From | "H. Peter Anvin" <> | | Subject | Re: [PATCH] Fix broken debug output reserve_region_with_split() |
| |
Yinghai Lu wrote: > > yes. some pci resource print out etc could use that too. > to get rid of the annoying casting. > > BTW: can you just enforce resource_t to u64? >
We definitely shouldn't. It'd suck on embedded systems.
-hpa
|  |