| /* | |
| * Copyright (c) 2023 Nordic Semiconductor ASA | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| #include <stdint.h> | |
| #include <kernel_internal.h> | |
| /* | |
| * Replacement for the nrfx nrfx_coredep_delay_us() | |
| * which busy waits for the given number of microseconds. | |
| * | |
| * This function will replace at *link* time the | |
| * nrfx one which had been marked as weak. | |
| */ | |
| void nrfx_coredep_delay_us(uint32_t time_us) | |
| { | |
| if (time_us == 0) { | |
| return; | |
| } | |
| arch_busy_wait(time_us); | |
| } |