Change Details

For embedded devices reserved addresses will be known in advance. More recently added devices will also likely be correctly updated. As a result using any available address is reasonable on non-x86.

For embedded devices reserved addresses will be known in advance. More recently added devices will also likely be correctly updated. As a result using any available address is reasonable on non-x86. Note, page zero is reserved and triggers special behavior by nexus_alloc_resource(). As such PAGE_SIZE must be used instead of zero.

For embedded devices reserved addresses will be known in advance. More recently added devices will also likely be correctly updated. As a result using any available address is reasonable on non-x86. Note, page zero is reserved and triggers special behavior by nexus_alloc_resource(). As such PAGE_SIZE must be used instead of zero.