Searched refs:ec_bind_vcpu (Results 1 – 3 of 3) sorted by relevance
180 extern void ec_bind_vcpu(int, int);
373 ec_bind_vcpu(*rvalp, 0); in evtchndrv_ioctl()
513 ec_bind_vcpu(int evtchn, int cpu) in ec_bind_vcpu() function