Date: Tue, 25 Aug 2015 08:55:45 -0700 From: Marcel Moolenaar <marcel@xcllnt.net> To: Justin Hibbits <jrh29@alumni.cwru.edu> Cc: "freebsd-arch@freebsd.org" <freebsd-arch@freebsd.org> Subject: Re: Devices with 36-bit paddr on 32-bit system Message-ID: <ED4B5B25-D7A7-440C-9452-4C79B0800D2E@xcllnt.net> In-Reply-To: <CAHSQbTDsvB32%2BLyzHJO78VwUwAfUTMOUQp13BMCUpapSMT0fbg@mail.gmail.com>
index | next in thread | previous in thread | raw e-mail
[-- Attachment #1 --] > On Aug 24, 2015, at 11:44 PM, Justin Hibbits <jrh29@alumni.cwru.edu> wrote: > > With my work porting FreeBSD to PowerPC e500mc and e5500, I have > devices in my device tree mapped well above the 4GB mark > (0xffexxxxxx), and have no idea how to properly address them for > resources in rman. Do we already have a solution to support this? > Part of the problem is the powerpc nexus does a straight convert to > vm_offset_t of rman_get_start() (itself returning a u_long), and > vm_offset_t is not necessarily equal to vm_paddr_t (on Book-E powerpc > vm_offset_t is 32-bits, vm_paddr_t is 64-bits). I think the best solution is to represent a resource address space with a type other than u_long. It makes sense to have it use bus_addr_t or vm_paddr_t for example. Such a change comes at a high price for sure, but you’ll fix it once and for all. I don’t think you should kluge your way out of this... -- Marcel Moolenaar marcel@xcllnt.net [-- Attachment #2 --] -----BEGIN PGP SIGNATURE----- Comment: GPGTools - https://gpgtools.org iQIbBAEBCgAGBQJV3JACAAoJEIda8t8f0tjjiv8P9Ag0czqwx88SEHdmFnBv+euC IJngr0Nt6JmteOXI4PxI+WjjH7VfUusN2rxh8yU8S2bKlYamjw+9WhyGnXIhf6XA rjZV+Sevq5k/CTb2hVguEDl1T7PseY4HBvnALsCYcDm76AFABt23NVISp6AD85uH 2llIdVTC1Gy4hlmlbAb7lTF9YNK46ky0+Tk+xyN2y1IOaSdrf4WI5IE0ph5AlAqn N9f17+Lmu/BEsCy6TDulFpMU1aY/d2G1vu3EBHZ7r62icKPC7epbdiBJkfwZt5w4 7wN7gzqpGBlkvOPvJ2tRIiIU1pXKvAxEX9rojt6PfpEdRibX3UejNG+rwkTjw6HV lqZ6ko3ZeqWL4vWCw4L612aK/stFZ4dYtiX0PAlPrw/i6Tqnu9HG6mxov9SvMT0F QMpYi64rHa1FYf13nLeogtUDzlOENO9ox5zkAx2csg4bFGiw2hHmAOhuNS7HjYdv PW2EYYchn6WliKStO0U98VX3emm4hKc28mpxUQ4JPq2j6ATVaNOsJWYcWUvHjk7/ y9gqxWGfYdTobHYOJ7jAA8SnTurXLlQiSQluUcIbl6UHFpqW2jWOgJUj4sAT5mEt zcqaHF6HAgB0tPWjqFRMRAsCIfssT0BNpd4KW+43tvSkPprkTHDrbcj7na3BxpO9 FeoAlcT/qdvEsqtYJxA= =BAkx -----END PGP SIGNATURE-----home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?ED4B5B25-D7A7-440C-9452-4C79B0800D2E>