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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
/**
* Copyright (c) 2011 Trusted Logic S.A.
* All Rights Reserved.
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License
* version 2 as published by the Free Software Foundation.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston,
* MA 02111-1307 USA
*/
#ifndef __TF_UTIL_H__
#define __TF_UTIL_H__
#include <linux/spinlock.h>
#include <linux/errno.h>
#include <linux/init.h>
#include <linux/module.h>
#include <linux/mm.h>
#include <linux/crypto.h>
#include <linux/mount.h>
#include <linux/pagemap.h>
#include <linux/vmalloc.h>
#include <asm/byteorder.h>
#include "tf_protocol.h"
#include "tf_defs.h"
/*----------------------------------------------------------------------------
* Debug printing routines
*----------------------------------------------------------------------------*/
#ifdef CONFIG_TF_DRIVER_DEBUG_SUPPORT
extern unsigned tf_debug_level;
void address_cache_property(unsigned long va);
#define dprintk(args...) ((void)(tf_debug_level >= 6 ? printk(args) : 0))
#define dpr_info(args...) ((void)(tf_debug_level >= 3 ? pr_info(args) : 0))
#define dpr_err(args...) ((void)(tf_debug_level >= 1 ? pr_err(args) : 0))
#define INFO(fmt, args...) \
(void)dprintk(KERN_INFO "%s: " fmt "\n", __func__, ## args)
#define WARNING(fmt, args...) \
(tf_debug_level >= 3 ? \
printk(KERN_WARNING "%s: " fmt "\n", __func__, ## args) : \
(void)0)
#define ERROR(fmt, args...) \
(tf_debug_level >= 1 ? \
printk(KERN_ERR "%s: " fmt "\n", __func__, ## args) : \
(void)0)
void tf_trace_array(const char *fun, const char *msg,
const void *ptr, size_t len);
#define TF_TRACE_ARRAY(ptr, len) \
(tf_debug_level >= 7 ? \
tf_trace_array(__func__, #ptr "/" #len, ptr, len) : \
0)
void tf_dump_l1_shared_buffer(struct tf_l1_shared_buffer *buffer);
void tf_dump_command(union tf_command *command);
void tf_dump_answer(union tf_answer *answer);
#else /* defined(CONFIG_TF_DRIVER_DEBUG_SUPPORT) */
#define dprintk(args...) do { ; } while (0)
#define dpr_info(args...) do { ; } while (0)
#define dpr_err(args...) do { ; } while (0)
#define INFO(fmt, args...) ((void)0)
#define WARNING(fmt, args...) ((void)0)
#define ERROR(fmt, args...) ((void)0)
#define TF_TRACE_ARRAY(ptr, len) ((void)(ptr), (void)(len))
#define tf_dump_l1_shared_buffer(buffer) ((void) 0)
#define tf_dump_command(command) ((void) 0)
#define tf_dump_answer(answer) ((void) 0)
#endif /* defined(CONFIG_TF_DRIVER_DEBUG_SUPPORT) */
#define SHA1_DIGEST_SIZE 20
/*----------------------------------------------------------------------------
* Process identification
*----------------------------------------------------------------------------*/
int tf_get_current_process_hash(void *hash);
/*----------------------------------------------------------------------------
* Statistic computation
*----------------------------------------------------------------------------*/
void *internal_kmalloc(size_t size, int priority);
void internal_kfree(void *ptr);
void internal_vunmap(void *ptr);
void *internal_vmalloc(size_t size);
void internal_vfree(void *ptr);
unsigned long internal_get_zeroed_page(int priority);
void internal_free_page(unsigned long addr);
int internal_get_user_pages(
struct task_struct *tsk,
struct mm_struct *mm,
unsigned long start,
int len,
int write,
int force,
struct page **pages,
struct vm_area_struct **vmas);
void internal_get_page(struct page *page);
void internal_page_cache_release(struct page *page);
#endif /* __TF_UTIL_H__ */
|
