Searched refs:assign_kernel_port (Results 1 – 1 of 1) sorted by relevance
548 static int assign_kernel_port(uint16_t type, evtchn_port_t port, in assign_kernel_port() function1343 assign_kernel_port(EVTCHNSTAT_ipi, ipi->port, ipi->vcpu); in xen_evtchn_bind_ipi_op()