> This will break mchines that store additional information such as > cacheing in the physaddr_t.
Could you be more specific? The only instance accessing phys_addr member I can find is: sys/arch/arm/include/arm32/vmparam.h: (pg)->mdpage.pvh_attrs = (pg)->phys_addr & arm_cache_prefer_mask Masao
