Displaying 1 result from an estimated 1 matches for "mk_l1_pgentry".
2005 Mar 14
4
[patch/unstable] page table cleanups
...L1_PAGETABLE_ENTRIES-1)]);
for ( i = 0; i < L1_PAGETABLE_ENTRIES; i++ )
@@ -584,7 +586,8 @@ static void shadow_map_l1_into_current_l
void shadow_invlpg(struct exec_domain *ed, unsigned long va)
{
- unsigned long gpte, spte;
+ l1_pgentry_t gpte, spte;
+ l1_pgentry_t zero = mk_l1_pgentry(0);
ASSERT(shadow_mode_enabled(ed->domain));
@@ -592,21 +595,22 @@ void shadow_invlpg(struct exec_domain *e
* XXX KAF: Why is this set-to-zero required?
* Why, on failure, must we bin all our shadow state?
*/
- if (__put_user(0L, (unsigned long *)
-...