Lines Matching defs:xch
20 xc_interface *xch = ctx->xch; in expand_p2m() local
78 xc_interface *xch = ctx->xch; in pin_pagetables() local
136 xc_interface *xch = ctx->xch; in process_start_info() local
237 xc_interface *xch = ctx->xch; in process_vcpu_basic() local
378 xc_interface *xch = ctx->xch; in process_vcpu_extended() local
402 xc_interface *xch = ctx->xch; in process_vcpu_xsave() local
440 xc_interface *xch = ctx->xch; in process_vcpu_msrs() local
477 xc_interface *xch = ctx->xch; in update_vcpu_context() local
530 xc_interface *xch = ctx->xch; in update_guest_p2m() local
590 xc_interface *xch = ctx->xch; in handle_x86_pv_info() local
665 xc_interface *xch = ctx->xch; in handle_x86_pv_p2m_frames() local
723 xc_interface *xch = ctx->xch; in handle_x86_pv_vcpu_blob() local
859 xc_interface *xch = ctx->xch; in handle_shared_info() local
947 xc_interface *xch = ctx->xch; in x86_pv_localise_page() local
1019 xc_interface *xch = ctx->xch; in x86_pv_setup() local
1092 xc_interface *xch = ctx->xch; in x86_pv_stream_complete() local