diff options
author | Jeremy Fitzhardinge <jeremy@goop.org> | 2007-05-02 19:27:16 +0200 |
---|---|---|
committer | Andi Kleen <andi@basil.nowhere.org> | 2007-05-02 19:27:16 +0200 |
commit | 959b4fdfe7e27bcf101e2381e500e4076f2bb9ce (patch) | |
tree | 65406ba086d3547ac1570639a8e7e42345191ed4 /scripts/mod | |
parent | 752783c050f1729452a89b2baea45b0124ac91c7 (diff) |
[PATCH] i386: PARAVIRT: Allow boot-time disable of paravirt_ops patching
Add "noreplace-paravirt" to disable paravirt_ops patching.
Signed-off-by: Jeremy Fitzhardinge <jeremy@xensource.com>
Signed-off-by: Andi Kleen <ak@suse.de>
Cc: Rusty Russell <rusty@rustcorp.com.au>
Cc: Andi Kleen <ak@suse.de>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Diffstat (limited to 'scripts/mod')
0 files changed, 0 insertions, 0 deletions