1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
/*
*
* (C) COPYRIGHT 2010-2012 ARM Limited. All rights reserved.
*
* This program is free software and is provided to you under the terms of the GNU General Public License version 2
* as published by the Free Software Foundation, and any use by you of this program is subject to the terms of such GNU licence.
*
* A copy of the licence is included with the program, and can also be obtained from Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
*
*/
#include <osk/mali_osk.h>
oskp_debug_assert_cb oskp_debug_assert_registered_cb =
{
NULL,
NULL
};
void oskp_debug_print(const char *format, ...)
{
va_list args;
va_start(args, format);
oskp_validate_format_string(format);
vprintk(format, args);
va_end(args);
}
s32 osk_snprintf(char *str, size_t size, const char *format, ...)
{
va_list args;
s32 ret;
va_start(args, format);
oskp_validate_format_string(format);
ret = vsnprintf(str, size, format, args);
va_end(args);
return ret;
}
void osk_debug_assert_register_hook( osk_debug_assert_hook *func, void *param )
{
oskp_debug_assert_registered_cb.func = func;
oskp_debug_assert_registered_cb.param = param;
}
void oskp_debug_assert_call_hook( void )
{
if ( oskp_debug_assert_registered_cb.func != NULL )
{
oskp_debug_assert_registered_cb.func( oskp_debug_assert_registered_cb.param );
}
}
#if MALI_DEBUG
#include <linux/percpu.h>
DEFINE_PER_CPU(int[2], slot_in_use);
void osk_kmap_debug(int slot)
{
int slot_was_in_use = get_cpu_var(slot_in_use[slot])++;
put_cpu_var(slot_in_use);
OSK_ASSERT(slot_was_in_use == 0);
BUG_ON(slot_was_in_use);
}
void osk_kunmap_debug(int slot)
{
int slot_was_in_use = get_cpu_var(slot_in_use[slot])--;
put_cpu_var(slot_in_use);
OSK_ASSERT(slot_was_in_use == 1);
BUG_ON(!slot_was_in_use);
}
#endif /* MALI_DEBUG */
|
