Fix a comment s/initarm_/platform_/

This commit is contained in:
Andrew Turner 2014-05-17 11:29:44 +00:00
parent 27521ff8e4
commit 92e7f50a4e

View File

@ -45,7 +45,7 @@ struct arm_devmap_entry {
* Return the lowest KVA address used in any entry in the registered devmap
* table. This works with whatever table is registered, including the internal
* table used by arm_devmap_add_entry() if that routine was used. Platforms can
* implement initarm_lastaddr() by calling this if static device mappings are
* implement platform_lastaddr() by calling this if static device mappings are
* their only use of high KVA space.
*/
vm_offset_t arm_devmap_lastaddr(void);