diff options
author | Keir Fraser <keir@xen.org> | 2010-12-09 09:57:08 +0000 |
---|---|---|
committer | Keir Fraser <keir@xen.org> | 2010-12-09 09:57:08 +0000 |
commit | 805a1afca3928a9ad96f67e797ff1e5003380ef8 (patch) | |
tree | 08306c8b5a9df946610ac018df2c95ac86ae5f63 /xen/arch/x86/time.c | |
parent | 73c602edff0024f5f4b27d3e3d0a7fcf724083f3 (diff) | |
download | xen-805a1afca3928a9ad96f67e797ff1e5003380ef8.tar.gz xen-805a1afca3928a9ad96f67e797ff1e5003380ef8.tar.bz2 xen-805a1afca3928a9ad96f67e797ff1e5003380ef8.zip |
x86: Simplify tsc_set_info() slightly -- no domain has id DOMID_INVALID.
Signed-off-by: Keir Fraser <keir@xen.org>
Diffstat (limited to 'xen/arch/x86/time.c')
-rw-r--r-- | xen/arch/x86/time.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c index 56e16e65c1..b28d6c0b83 100644 --- a/xen/arch/x86/time.c +++ b/xen/arch/x86/time.c @@ -1779,11 +1779,12 @@ void tsc_set_info(struct domain *d, uint32_t tsc_mode, uint64_t elapsed_nsec, uint32_t gtsc_khz, uint32_t incarnation) { - if ( d->domain_id == 0 || d->domain_id == DOMID_INVALID ) + if ( d->domain_id == 0 ) { d->arch.vtsc = 0; return; } + switch ( d->arch.tsc_mode = tsc_mode ) { case TSC_MODE_NEVER_EMULATE: |