A question about pmap_kenter_pa() in arm32/pmap.c

[Kengo NAKAHARA <k-nakahara%iij.ad.jp@localhost>]

Hi,


I have a question about pmap_kenter_pa() in sys/arch/arm/arm32/pmap.c.
That is, why is below KASSERT required?
    http://nxr.netbsd.org/xref/src/sys/arch/arm/arm32/pmap.c#3795

This KASSERT is added by a below commit.
    http://cvsweb.netbsd.org/bsdweb.cgi/src/sys/arch/arm/arm32/pmap.c.diff?r1=1.276&r2=1.277&f=h
And #ifdef is added by a below commit.
    http://cvsweb.netbsd.org/bsdweb.cgi/src/sys/arch/arm/arm32/pmap.c.diff?r1=1.296&r2=1.297&f=h
This is added to fix PR/49061
    http://gnats.netbsd.org/cgi-bin/query-pr-single.pl?number=49061

I don't really understand the relationship between above KASSERT and
pmap_enter() modification of pmap.c:r1.277.
Could anyone tell me why the KASSERT is required in this point?

# I sent this mail to matt@n.o, however I have not received a reply.
# He must be busy... Does anyone know this reason?


Thanks,

-- 
//////////////////////////////////////////////////////////////////////
Internet Initiative Japan Inc.

Device Engineering Section,
Core Product Development Department,
Product Division,
Technology Unit

Kengo NAKAHARA <k-nakahara%iij.ad.jp@localhost>