diff options
| author | Jeremy Fitzhardinge <jeremy@goop.org> | 2008-07-08 15:06:38 -0700 |
|---|---|---|
| committer | Ingo Molnar <mingo@elte.hu> | 2008-07-16 10:57:16 +0200 |
| commit | f6e587325b3bc7e5c829a407ddc25b52c1e73851 (patch) | |
| tree | bc525b9bf2967491593b89bf022888102dfff57e /firmware/dsp56k | |
| parent | e74359028d5489a281fb2c379a47b1d3cb14526e (diff) | |
xen64: add extra pv_mmu_ops
We need extra pv_mmu_ops for 64-bit, to deal with the extra level of
pagetable.
Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Cc: Stephen Tweedie <sct@redhat.com>
Cc: Eduardo Habkost <ehabkost@redhat.com>
Cc: Mark McLoughlin <markmc@redhat.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'firmware/dsp56k')
0 files changed, 0 insertions, 0 deletions