Sorry I forgot to put a proper title.
On 25/05/16 12:41, Julien Grall wrote:
Hello all,
This series is based on the thread [1]. To allow future extension, the new
space dev_mmio should have all unused fields marked as reserved.
The first patch enforces the value of the field 'foreign_id'. The second
document the behavior of dev_mmio for ARM.
This series is candidate for Xen 4.7, the first patch ensure a clean ABI
for the new space which will allow future extension.
Regards,
[1] http://lists.xenproject.org/archives/html/xen-devel/2016-05/msg02328.html
Julien Grall (2):
xen: XENMEM_add_physmap_batch: Mark 'foreign_id' as reserved for
dev_mmio
xen/arm: Document the behavior of XENMAPSPACE_dev_mmio
xen/arch/arm/mm.c | 4 ++++
xen/common/memory.c | 6 ++++--
xen/include/public/memory.h | 7 +++++--
3 files changed, 13 insertions(+), 4 deletions(-)
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
