> > Log Message: > > Implement device page struct vm_page * handling. > > what will happen if sizeof(uintptr_t) < sizeof(paddr_t)?
I plan to change the encoding as something like: bit 31-11 page offset in vm_physseg 10- 2 index of device vm_physseg[] 1- 0 magic Assuming: - # of device vm_physsegs is <256 - one vm_physseg space is <vaddr_t (not paddr_t) On LP32 / 4K page platforms, you can have 4GB x 256 device vm_physsegs, which is good enough for "LP32 with 64-bit physical address space platforms" IMO. Masao -- Masao Uebayashi / Tombi Inc. / Tel: +81-90-9141-4635