| commit | 1713608f280002d9ffc6de89d7de5cf367072d63 | [log] [tgz] |
|---|---|---|
| author | Glauber de Oliveira Costa <[email protected]> | Mon Jan 07 11:05:37 2008 -0200 |
| committer | Rusty Russell <[email protected]> | Wed Jan 30 22:50:14 2008 +1100 |
| tree | 332e7bdbe7ccccad408b309a4dd00b706b04082f | |
| 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 <[email protected]> Signed-off-by: Rusty Russell <[email protected]>