Searched refs:vki_xen_domctl (Results 1 – 2 of 2) sorted by relevance
322 struct vki_xen_domctl { struct
541 struct vki_xen_domctl *domctl = (struct vki_xen_domctl *)ARG1; in PRE()1154 struct vki_xen_domctl *domctl = (struct vki_xen_domctl *)ARG1; in POST()