diff options
| author | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2010-12-18 01:58:43 +0300 |
|---|---|---|
| committer | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2011-07-19 02:43:28 +0400 |
| commit | bc7fe1d977734efe6059d6d537b439135ad4a34c (patch) | |
| tree | 06a437e5cabe7355e0824935b0a8d24d801b6289 /init | |
| parent | dcf7435cfe617c9d9f3dd501d3f5ed4d0b30c218 (diff) | |
| download | linux-bc7fe1d977734efe6059d6d537b439135ad4a34c.tar.xz | |
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 'init')
0 files changed, 0 insertions, 0 deletions