diff options
| author |   Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2011-09-29 11:11:09 -0700 |
|---|---|---|
| committer | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2011-10-25 11:54:21 -0700 |
| commit | b7e3155818830a358be2b736e1087217c43db9eb (patch) | |
| tree | 2bc154b7615d6e462d9808ab14f763f05cd759d2 /lib/mpi/mpi-bit.c | |
| parent | jump_label: if a key has already been initialized, don't nop it out (diff) | |
| download | linux-dev-b7e3155818830a358be2b736e1087217c43db9eb.tar.xz linux-dev-b7e3155818830a358be2b736e1087217c43db9eb.zip | |
x86/jump_label: drop arch_jump_label_text_poke_early()
It is no longer used.
Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Acked-by: Jason Baron <jbaron@redhat.com>
Acked-by: Peter Zijlstra <a.p.zijlstra@chello.nl>
Diffstat (limited to 'lib/mpi/mpi-bit.c')
0 files changed, 0 insertions, 0 deletions