diff options
| author | Jeremy Fitzhardinge <[email protected]> | 2007-07-17 18:37:05 -0700 |
|---|---|---|
| committer | Jeremy Fitzhardinge <[email protected]> | 2007-07-18 08:47:43 -0700 |
| commit | c85b04c3749507546f6d5868976e4793e35c2ec0 (patch) | |
| tree | 77ad99f3850d11dab3df2b8b7e1998754d72d8bd /scripts/basic | |
| parent | e738fca8d7dffec30eeee231c38f128eed56c8c8 (diff) | |
xen: add pinned page flag
Add a new definition for PG_owner_priv_1 to define PG_pinned on Xen
pagetable pages.
Signed-off-by: Jeremy Fitzhardinge <[email protected]>
Signed-off-by: Chris Wright <[email protected]>
Diffstat (limited to 'scripts/basic')
0 files changed, 0 insertions, 0 deletions