Searched refs:getpageframeinfo3 (Results 1 – 3 of 3) sorted by relevance
370 unsigned int num = domctl->u.getpageframeinfo3.num; in arch_do_domctl()374 void __user *guest_handle = domctl->u.getpageframeinfo3.array.p; in arch_do_domctl()377 unlikely(num != domctl->u.getpageframeinfo3.num) ) in arch_do_domctl()447 domctl->u.getpageframeinfo3.num = num - i - 1; in arch_do_domctl()448 domctl->u.getpageframeinfo3.array.p = in arch_do_domctl()
240 domctl.u.getpageframeinfo3.num = num; in xc_get_pfn_type_batch()241 set_xen_guest_handle(domctl.u.getpageframeinfo3.array, arr); in xc_get_pfn_type_batch()
1231 struct xen_domctl_getpageframeinfo3 getpageframeinfo3; member
Completed in 11 milliseconds