diff options
| author | Glauber de Oliveira Costa <[email protected]> | 2008-01-07 11:05:37 -0200 |
|---|---|---|
| committer | Rusty Russell <[email protected]> | 2008-01-30 22:50:14 +1100 |
| commit | 1713608f280002d9ffc6de89d7de5cf367072d63 (patch) | |
| tree | 332e7bdbe7ccccad408b309a4dd00b706b04082f /include/linux/debugobjects.h | |
| 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]>
Diffstat (limited to 'include/linux/debugobjects.h')
0 files changed, 0 insertions, 0 deletions