Searched defs:dst_vcpu (Results 1 – 1 of 1) sorted by relevance
106 static void synic_sints_test(int dst_vcpu) in synic_sints_test()122 int dst_vcpu = (ulong)ctx; in synic_test() local