Searched defs:vcpu (Results 1 – 5 of 5) sorted by relevance
37 int vcpu; member70 int vcpu = smp_id(), i; in synic_enable() local142 static void __stimer_isr(int vcpu) in __stimer_isr()159 int vcpu = smp_id(); in stimer_isr() local167 int vcpu = smp_id(); in stimer_isr_auto_eoi() local172 static void __stimer_isr_direct(int vcpu, int timer_index) in __stimer_isr_direct()182 int vcpu = smp_id(); in stimer_isr_direct1() local191 int vcpu = smp_id(); in stimer_isr_direct2() local234 int vcpu = smp_id(), i; in stimers_shutdown() local244 int vcpu = smp_id(); in synic_disable() local[all …]
93 int vcpu; in setup_cpu() local127 int vcpu = smp_id(); in teardown_cpu() local144 int vcpu = (ulong)ctx; in do_msg() local158 int vcpu = smp_id(); in clear_msg() local169 static bool msg_ok(int vcpu) in msg_ok()183 static bool msg_busy(int vcpu) in msg_busy()199 int vcpu = (ulong)ctx; in do_evt() local211 int vcpu = smp_id(); in clear_evt() local221 static bool evt_ok(int vcpu) in evt_ok()231 static bool evt_busy(int vcpu) in evt_busy()
64 static void synic_sints_prepare(int vcpu) in synic_sints_prepare()
37 void synic_sint_set(u8 vcpu, u8 sint) in synic_sint_set()
904 int vcpu = col->target_address >> 16; in test_its_pending_migration() local