#include <xen/shadow.h>
#include <hypervisor-ifs/sched_ctl.h>
+
+#define TRC_DOM0OP_START_BASE 0x00020000
+#define TRC_DOM0OP_FINISH_BASE 0x00030000
+
+
extern unsigned int alloc_new_dom_mem(struct task_struct *, unsigned int);
- /* Basically used to protect the domain-id space. */
- static spinlock_t create_dom_lock = SPIN_LOCK_UNLOCKED;
-
- static domid_t get_domnr(void)
- {
- static domid_t domnr = 0;
- return ++domnr;
- }
-
static int msr_cpu_mask;
static unsigned long msr_addr;
static unsigned long msr_lo;