diff options
| author | Keir Fraser <keir@xen.org> | 2010-12-09 10:09:59 +0000 |
|---|---|---|
| committer | Keir Fraser <keir@xen.org> | 2010-12-09 10:09:59 +0000 |
| commit | 45dc0eb888d5c64f48e6a2faacfa76e41791475a (patch) | |
| tree | fe5d750097b0e513c513511fbaa11a87246675d8 /xen/include/public/xen.h | |
| parent | 805a1afca3928a9ad96f67e797ff1e5003380ef8 (diff) | |
| download | xen-45dc0eb888d5c64f48e6a2faacfa76e41791475a.tar.gz xen-45dc0eb888d5c64f48e6a2faacfa76e41791475a.tar.bz2 xen-45dc0eb888d5c64f48e6a2faacfa76e41791475a.zip | |
Move IDLE_DOMAIN_ID defn to public header, and change DOMID_INVALID to fix clash.
Signed-off-by: Keir Fraser <keir@xen.org>
Diffstat (limited to 'xen/include/public/xen.h')
| -rw-r--r-- | xen/include/public/xen.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/xen/include/public/xen.h b/xen/include/public/xen.h index 572d98c66c..93c3fe3837 100644 --- a/xen/include/public/xen.h +++ b/xen/include/public/xen.h @@ -380,8 +380,11 @@ typedef uint16_t domid_t; * DOMID_COW is used as the owner of sharable pages */ #define DOMID_COW (0x7FF3U) -/* DOMID_INVALID is used to identity invalid domid */ -#define DOMID_INVALID (0x7FFFU) +/* DOMID_INVALID is used to identify pages with unknown owner. */ +#define DOMID_INVALID (0x7FF4U) + +/* Idle domain. */ +#define DOMID_IDLE (0x7FFFU) /* * Send an array of these to HYPERVISOR_mmu_update(). |