Lines Matching refs:XEN_GUEST_HANDLE_64
52 XEN_GUEST_HANDLE_64(void) pushcache;
60 XEN_GUEST_HANDLE_64(void) pullcache;
68 XEN_GUEST_HANDLE_64(void) pullcache;
83 XEN_GUEST_HANDLE_64(void) ssidbuf;
109 XEN_GUEST_HANDLE_64(void) policy_pushcache;
111 XEN_GUEST_HANDLE_64(void) del_array;
113 XEN_GUEST_HANDLE_64(void) chg_array;
117 XEN_GUEST_HANDLE_64(void) err_array;
124 XEN_GUEST_HANDLE_64(void) relabel_map;
127 XEN_GUEST_HANDLE_64(void) err_array;