8 #include <zephyr/sys/mutex.h>
12 static struct k_mutex *get_k_mutex(struct sys_mutex *mutex)  in get_k_mutex()  argument
16 	obj = k_object_find(mutex);  in get_k_mutex()
21 	return obj->data.mutex;  in get_k_mutex()
33 int z_impl_z_sys_mutex_kernel_lock(struct sys_mutex *mutex, k_timeout_t timeout)  in z_impl_z_sys_mutex_kernel_lock()  argument
35 	struct k_mutex *kernel_mutex = get_k_mutex(mutex);  in z_impl_z_sys_mutex_kernel_lock()
44 static inline int z_vrfy_z_sys_mutex_kernel_lock(struct sys_mutex *mutex,  in z_vrfy_z_sys_mutex_kernel_lock()  argument
47 	if (check_sys_mutex_addr(mutex)) {  in z_vrfy_z_sys_mutex_kernel_lock()
51 	return z_impl_z_sys_mutex_kernel_lock(mutex, timeout);  in z_vrfy_z_sys_mutex_kernel_lock()
55 int z_impl_z_sys_mutex_kernel_unlock(struct sys_mutex *mutex)  in z_impl_z_sys_mutex_kernel_unlock()  argument
57 	struct k_mutex *kernel_mutex = get_k_mutex(mutex);  in z_impl_z_sys_mutex_kernel_unlock()
66 static inline int z_vrfy_z_sys_mutex_kernel_unlock(struct sys_mutex *mutex)  in z_vrfy_z_sys_mutex_kernel_unlock()  argument
68 	if (check_sys_mutex_addr(mutex)) {  in z_vrfy_z_sys_mutex_kernel_unlock()
72 	return z_impl_z_sys_mutex_kernel_unlock(mutex);  in z_vrfy_z_sys_mutex_kernel_unlock()