/*
 * 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);
}