tech-kern archive

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

Re: Device page

> 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


Home | Main Index | Thread Index | Old Index