diff options
| author | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2010-12-17 14:58:43 -0800 |
|---|---|---|
| committer | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2011-07-18 15:43:28 -0700 |
| commit | bc7fe1d977734efe6059d6d537b439135ad4a34c (patch) | |
| tree | 06a437e5cabe7355e0824935b0a8d24d801b6289 /scripts/coccicheck | |
| parent | dcf7435cfe617c9d9f3dd501d3f5ed4d0b30c218 (diff) | |
xen/mmu: tune pgtable alloc/release
Make sure the fastpath code is inlined. Batch the page permission change
and the pin/unpin, and make sure that it can be batched with any
adjacent set_pte/pmd/etc operations.
Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Diffstat (limited to 'scripts/coccicheck')
0 files changed, 0 insertions, 0 deletions