Searched refs:getpageframeinfo3 (Results 1 – 2 of 2) sorted by relevance
710 PRE_XEN_DOMCTL_READ(getpageframeinfo3, num); in PRE()711 PRE_XEN_DOMCTL_READ(getpageframeinfo3, array.p); in PRE()713 (Addr)domctl->u.getpageframeinfo3.array.p, in PRE()714 domctl->u.getpageframeinfo3.num * sizeof(vki_xen_pfn_t)); in PRE()1311 POST_MEM_WRITE((Addr)domctl->u.getpageframeinfo3.array.p, in POST()1312 domctl->u.getpageframeinfo3.num * sizeof(vki_xen_pfn_t)); in POST()
334 struct vki_xen_domctl_getpageframeinfo3 getpageframeinfo3; member