Fix a comment s/initarm_/platform_/

This commit is contained in:
andrew 2014-05-17 11:29:44 +00:00
parent ad9a51105a
commit 730139ba93

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);