1 /*
2  * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include "pico/lock_core.h"
8 
lock_init(lock_core_t * core,uint lock_num)9 void lock_init(lock_core_t *core, uint lock_num) {
10     valid_params_if(LOCK_CORE, lock_num < NUM_SPIN_LOCKS);
11     core->spin_lock = spin_lock_instance(lock_num);
12 }
13 
14