| /* |
| * Copyright 2018 The Fuchsia Authors. All rights reserved. |
| * Use of this source code is governed by a BSD-style license that can be |
| * found in the LICENSE file. |
| */ |
| |
| /* |
| * This is an input linker script used in linking the vDSO. |
| * The kernel can switch vDSO symbols at boot time to alternate entry points. |
| * The alternate code is at hidden symbols. The linker will GC these |
| * entry points without some reference chain from an exported symbol. |
| * This file injects synthetic references to keep the symbols alive. |
| */ |
| EXTERN(CODE_soft_ticks_get) |
