| // Copyright 2025 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. |
| |
| #include <inttypes.h> |
| #include <stdio.h> |
| |
| extern "C" uint64_t ping(uint64_t *arg0, uint64_t *arg1, uint64_t *arg2, uint64_t *arg3); |
| |
| extern "C" __attribute__((visibility("default"))) uint64_t call_ping(uint64_t *a) { |
| return ping(a, a, a, a); |
| } |
| |
| extern "C" __attribute__((visibility("default"))) uint64_t call_printf(uint64_t *a) { |
| printf("A number: %u\n", static_cast<uint32_t>(*a)); |
| return 0; |
| } |
