arm: Make the pmap_kenter signature like arm64

[andrew]

Summary

To support a common pmap_mapdev_attr change pmap_kenter to include the
size any memory type in the signature.

Sponsored by: Arm Ltd

[mhorne]

LGTM with one tweak.

sys/arm/arm/mem.c

117–118

Now the relevant range is flushed by pmap_kenter(), so this can be dropped.

[andrew]

Split out the mapping part of pmap_kenter to:

• Remove unneeded tlb flush from mem.c
• Keep the local only flush in pmap_kenter_temporary

[mhorne]

sys/arm/arm/pmap-v6.c

1311–1312

It probably makes more sense for this function to be inlined than pmap_kenter()?

Other implementations removed the use of PMAP_INLINE altogether (git log --grep PMAP_INLINE). Not sure what you want to do here, but this question is secondary to the change at hand.

[mmel]

Very briefly, I think this clashes with devmap_add_entry(), which is used on armv7 to reduce the TLB load. The pmap_mapdev_attr() function does not respect the required attributes for pages previously mapped by devmap_add_entry(). Imho, we don't have a method for changing page attributes on multiple mapped pages in an architecturally correct way. (And I'm afraid this is true for arm64 , for pages mapped by DMAP and also in some other way).

[mmel]

I'm sorry, I wanted to send it to D50309.