Searched refs:xen_arch_isrc_t (Results 1 – 3 of 3) sorted by relevance
38 } xen_arch_isrc_t; typedef
52 xen_arch_isrc_t xi_arch; /* @TOP -> *xi_arch=*xenisrc */
130 xen_arch_isrc_t preserve;