Searched refs:plug_id (Results 1 – 1 of 1) sorted by relevance
37 static inline s64 beat_downcount_of_interrupt(u64 plug_id) in beat_downcount_of_interrupt() argument39 return beat_hcall_norets(HV_downcount_of_interrupt, plug_id); in beat_downcount_of_interrupt()49 static inline s64 beat_destruct_irq_plug(u64 plug_id) in beat_destruct_irq_plug() argument51 return beat_hcall_norets(HV_destruct_irq_plug, plug_id); in beat_destruct_irq_plug()54 static inline s64 beat_construct_and_connect_irq_plug(u64 plug_id, in beat_construct_and_connect_irq_plug() argument57 return beat_hcall_norets(HV_construct_and_connect_irq_plug, plug_id, in beat_construct_and_connect_irq_plug()