Searched refs:src_page (Results 1 – 3 of 3) sorted by relevance
429 const char *src_page) in xc_copy_to_domain_page() argument435 memcpy(vaddr, src_page, PAGE_SIZE); in xc_copy_to_domain_page()
3407 struct page_info *src_page, *dst_page; in do_mmuext_op() local3409 src_page = get_page_from_gfn(pg_owner, op.arg2.src_mfn, &p2mt, in do_mmuext_op()3411 if ( unlikely(p2mt != p2m_ram_rw) && src_page ) in do_mmuext_op()3413 put_page(src_page); in do_mmuext_op()3414 src_page = NULL; in do_mmuext_op()3416 if ( unlikely(!src_page) ) in do_mmuext_op()3436 put_page(src_page); in do_mmuext_op()3447 copy_domain_page(page_to_mfn(dst_page), page_to_mfn(src_page)); in do_mmuext_op()3450 put_page(src_page); in do_mmuext_op()
1531 unsigned long dst_pfn, const char *src_page);
Completed in 15 milliseconds