[v2,0/4] adjust special domain creation

Message

Jan Beulich June 4, 2019, 12:30 p.m. UTC

Patch 3 fixes a really bad bug of mine, and while at it I thought I
would carry out the other recently noticed work item here right
away (patch 4). Patches 1 and 2 are preparatory.

1: x86/PV: tighten page table ownership check in emul-priv-op.c:read_cr()
2: PCI: move pdev_list field to common structure
3: adjust special domain creation (and call it earlier on x86)
4: dom_cow is needed for mem-sharing only

Jan