Searched refs:getpageframeinfo3 (Results 1 – 3 of 3) sorted by relevance
225 domctl.u.getpageframeinfo3.num = num; in xc_get_pfn_type_batch()226 set_xen_guest_handle(domctl.u.getpageframeinfo3.array, arr); in xc_get_pfn_type_batch()
453 unsigned int num = domctl->u.getpageframeinfo3.num; in arch_do_domctl()457 void __user *guest_handle = domctl->u.getpageframeinfo3.array.p; in arch_do_domctl()460 unlikely(num != domctl->u.getpageframeinfo3.num) ) in arch_do_domctl()
1198 struct xen_domctl_getpageframeinfo3 getpageframeinfo3; member
Completed in 13 milliseconds