1 /*
2  * Copyright (c) 2024 Nordic Semiconductor ASA
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include "argparse.h"
8 #include "bs_types.h"
9 
bk_device_get_number(void)10 unsigned int bk_device_get_number(void)
11 {
12 	return get_device_nbr();
13 }
14