Lines Matching refs:sh
159 SHADOW_INTERNAL_NAME_(name, sh, shadow_levels)
480 #define backpointer(sp) _mfn(pdx_to_pfn((unsigned long)(sp)->v.sh.back))
483 switch (sp->u.sh.type) in __backpointer()
488 return sp->v.sh.back; in __backpointer()
490 return pdx_to_pfn(sp->v.sh.back); in __backpointer()
527 ASSERT(sp->u.sh.head); in sh_get_ref()
529 x = sp->u.sh.count; in sh_get_ref()
540 sp->u.sh.count = nx; in sh_get_ref()
544 && sh_type_has_up_pointer(d, sp->u.sh.type) in sh_get_ref()
560 ASSERT(sp->u.sh.head); in sh_put_ref()
565 && sh_type_has_up_pointer(d, sp->u.sh.type) in sh_put_ref()
569 x = sp->u.sh.count; in sh_put_ref()
575 mfn_x(smfn), sp->u.sh.count, sp->u.sh.type); in sh_put_ref()
580 sp->u.sh.count = nx; in sh_put_ref()
606 if ( p && p->u.sh.type == SH_type_l2_32_shadow ) in prev_pinned_shadow()
609 ASSERT(p && p->u.sh.type == SH_type_l2_32_shadow); in prev_pinned_shadow()
611 ASSERT(p && p->u.sh.type == SH_type_l2_32_shadow); in prev_pinned_shadow()
613 ASSERT(p && p->u.sh.type == SH_type_l2_32_shadow); in prev_pinned_shadow()
615 ASSERT(!p || p->u.sh.head); in prev_pinned_shadow()
638 pages = shadow_size(sp[0]->u.sh.type); in sh_pin()
639 already_pinned = sp[0]->u.sh.pinned; in sh_pin()
640 ASSERT(sh_type_is_pinnable(d, sp[0]->u.sh.type)); in sh_pin()
641 ASSERT(sp[0]->u.sh.head); in sh_pin()
651 ASSERT(sp[i]->u.sh.type == sp[0]->u.sh.type); in sh_pin()
652 ASSERT(!sp[i]->u.sh.head); in sh_pin()
666 sp[0]->u.sh.pinned = 1; in sh_pin()
686 head_type = sp->u.sh.type; in sh_unpin()
687 ASSERT(sh_type_is_pinnable(d, sp->u.sh.type)); in sh_unpin()
688 ASSERT(sp->u.sh.head); in sh_unpin()
690 if ( !sp->u.sh.pinned ) in sh_unpin()
692 sp->u.sh.pinned = 0; in sh_unpin()
700 ASSERT(sp->u.sh.type == head_type); in sh_unpin()
701 ASSERT(!i || !sp->u.sh.head); in sh_unpin()