diff options
| author | David Vrabel <[email protected]> | 2013-03-13 13:20:52 +0000 |
|---|---|---|
| committer | Konrad Rzeszutek Wilk <[email protected]> | 2014-01-06 10:07:33 -0500 |
| commit | fc087e10734a4d3e40693fc099461ec1270b3fff (patch) | |
| tree | 801838375708e2053b413bbfd75a758c9421e93b /lib/mpi/mpi-internal.h | |
| parent | 872951850666689e931e567ebdc7c483135d14cf (diff) | |
xen/events: remove unnecessary init_evtchn_cpu_bindings()
Because the guest-side binding of an event to a VCPU (i.e., setting
the local per-cpu masks) is always explicitly done after an event
channel is bound to a port, there is no need to initialize all
possible events as bound to VCPU 0 at start of day or after a resume.
Signed-off-by: David Vrabel <[email protected]>
Reviewed-by: Konrad Rzeszutek Wilk <[email protected]>
Reviewed-by: Boris Ostrovsky <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-internal.h')
0 files changed, 0 insertions, 0 deletions