Lines Matching refs:snp
2283 guest_l1e_t *snp; in validate_gl1e() local
2287 snp = map_domain_page(snpmfn); in validate_gl1e()
2288 snp[guest_index(new_ge)] = new_gl1e; in validate_gl1e()
2289 unmap_domain_page(snp); in validate_gl1e()
2308 guest_l1e_t *gl1p, *gp, *snp; in sh_resync_l1() local
2316 snp = map_domain_page(snpmfn); in sh_resync_l1()
2322 guest_l1e_t *snpl1p = (guest_l1e_t *)snp + guest_index(gl1p); in sh_resync_l1()
2345 unmap_domain_page(snp); in sh_resync_l1()
3226 guest_l1e_t *snp; in sh_page_fault() local
3230 snp = map_domain_page(snpmfn); in sh_page_fault()
3231 snp[guest_l1_table_offset(va)] = gw.l1e; in sh_page_fault()
3232 unmap_domain_page(snp); in sh_page_fault()