1 /*
2  * Copyright (c) 2023 Nordic Semiconductor ASA
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include <stdint.h>
8 #include <kernel_internal.h>
9 
10 /*
11  * Replacement for the nrfx nrfx_coredep_delay_us()
12  * which busy waits for the given number of microseconds.
13  *
14  * This function will replace at *link* time the
15  * nrfx one which had been marked as weak.
16  */
nrfx_coredep_delay_us(uint32_t time_us)17 void nrfx_coredep_delay_us(uint32_t time_us)
18 {
19 	if (time_us == 0) {
20 		return;
21 	}
22 	arch_busy_wait(time_us);
23 }
24