diff options
| author | Glauber de Oliveira Costa <gcosta@redhat.com> | 2008-01-07 11:05:37 -0200 |
|---|---|---|
| committer | Rusty Russell <rusty@rustcorp.com.au> | 2008-01-30 22:50:14 +1100 |
| commit | 1713608f280002d9ffc6de89d7de5cf367072d63 (patch) | |
| tree | 332e7bdbe7ccccad408b309a4dd00b706b04082f /Documentation/sched-arch.txt | |
| parent | 5e232f4f428c4266ba5cdae9f23ba19a0913dcf9 (diff) | |
lguest: per-vcpu lguest pgdir management
this patch makes the pgdir management per-vcpu. The pgdirs pool
is still guest-wide (although it'll probably need to grow when we
are really executing more vcpus), but the pgdidx index is gone,
since it makes no sense anymore. Instead, we use a per-vcpu
index.
Signed-off-by: Glauber de Oliveira Costa <gcosta@redhat.com>
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
Diffstat (limited to 'Documentation/sched-arch.txt')
0 files changed, 0 insertions, 0 deletions