void pit_stop_channel0_irq(PITState *pit)
{
+ if ( !has_vpit(current->domain) )
+ return;
+
TRACE_0D(TRC_HVM_EMUL_PIT_STOP_TIMER);
spin_lock(&pit->lock);
destroy_periodic_time(&pit->pt0);
PITState *pit = domain_vpit(d);
int rc;
+ if ( !has_vpit(d) )
+ return 0;
+
spin_lock(&pit->lock);
rc = hvm_save_entry(PIT, 0, h, &pit->hw);
PITState *pit = domain_vpit(d);
int i;
+ if ( !has_vpit(d) )
+ return -ENODEV;
+
spin_lock(&pit->lock);
if ( hvm_load_entry(PIT, h, &pit->hw) )
struct hvm_hw_pit_channel *s;
int i;
+ if ( !has_vpit(d) )
+ return;
+
TRACE_0D(TRC_HVM_EMUL_PIT_STOP_TIMER);
destroy_periodic_time(&pit->pt0);
pit->pt0.source = PTSRC_isa;
{
PITState *pit = domain_vpit(d);
+ if ( !has_vpit(d) )
+ return;
+
spin_lock_init(&pit->lock);
if ( is_hvm_domain(d) )
{
PITState *pit = domain_vpit(d);
+ if ( !has_vpit(d) )
+ return;
+
TRACE_0D(TRC_HVM_EMUL_PIT_STOP_TIMER);
destroy_periodic_time(&pit->pt0);
}