-
-#ifdef CONFIG_XEN_IA64_VDSO_PARAVIRT
- __start_gate_running_on_xen_patchlist = .;
- *(.data.patch.running_on_xen)
- __end_gate_running_on_xen_patchlist = .;
-
- __start_gate_brl_xen_rsm_be_i_patchlist = .;
- *(.data.patch.brl_xen_rsm_be_i)
- __end_gate_brl_xen_rsm_be_i_patchlist = .;
-
- __start_gate_brl_xen_get_psr_patchlist = .;
- *(.data.patch.brl_xen_get_psr)
- __end_gate_brl_xen_get_psr_patchlist = .;
-
- __start_gate_brl_xen_ssm_i_0_patchlist = .;
- *(.data.patch.brl_xen_ssm_i_0)
- __end_gate_brl_xen_ssm_i_0_patchlist = .;
-
- __start_gate_brl_xen_ssm_i_1_patchlist = .;
- *(.data.patch.brl_xen_ssm_i_1)
- __end_gate_brl_xen_ssm_i_1_patchlist = .;
-#endif