6 * sep_dev.h - Security Processor Device Structures
8 * Copyright(c) 2009 Intel Corporation. All rights reserved.
9 * Copyright(c) 2009 Discretix. All rights reserved.
11 * This program is free software; you can redistribute it and/or modify it
12 * under the terms of the GNU General Public License as published by the Free
13 * Software Foundation; either version 2 of the License, or (at your option)
16 * This program is distributed in the hope that it will be useful, but WITHOUT
17 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
18 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
21 * You should have received a copy of the GNU General Public License along with
22 * this program; if not, write to the Free Software Foundation, Inc., 59
23 * Temple Place - Suite 330, Boston, MA 02111-1307, USA.
27 * Alan Cox alan@linux.intel.com
32 /* pointer to pci dev */
33 struct pci_dev *sep_pci_dev_ptr;
35 unsigned long io_memory_start_physical_address;
36 unsigned long io_memory_end_physical_address;
37 unsigned long io_memory_size;
38 void *io_memory_start_virtual_address;
40 /* restricted access region */
41 unsigned long rar_physical_address;
42 void *rar_virtual_address;
44 /* shared memory region */
45 unsigned long shared_physical_address;
46 void *shared_virtual_address;
48 /* firmware regions */
49 unsigned long cache_physical_address;
50 unsigned long cache_size;
51 void *cache_virtual_address;
53 unsigned long resident_physical_address;
54 unsigned long resident_size;
55 void *resident_virtual_address;
57 /* device interrupt (as retrieved from PCI) */
60 unsigned long rar_region_addr;
62 /* start address of the access to the SEP registers from driver */
63 unsigned long reg_base_address;
64 /* transaction counter that coordinates the transactions between SEP and HOST */
65 unsigned long host_to_sep_send_counter;
66 /* counter for the messages from sep */
67 unsigned long sep_to_host_reply_counter;
68 /* counter for the number of bytes allocated in the pool for the current
70 unsigned long data_pool_bytes_allocated;
72 /* array of pointers to the pages that represent input data for the synchronic
74 struct page **in_page_array;
76 /* array of pointers to the pages that represent out data for the synchronic
78 struct page **out_page_array;
80 /* number of pages in the sep_in_page_array */
81 unsigned long in_num_pages;
83 /* number of pages in the sep_out_page_array */
84 unsigned long out_num_pages;
86 /* global data for every flow */
87 struct sep_flow_context_t flows_data_array[SEP_DRIVER_NUM_FLOWS];
89 /* flag for API mode - 1 -is blocking, 0 is non-blocking */
90 unsigned long block_mode_flag;
92 /* pointer to the workqueue that handles the flow done interrupts */
93 struct workqueue_struct *flow_wq_ptr;
95 /* address of the shared memory allocated during init for SEP driver */
96 unsigned long shared_area_addr;
97 /* the physical address of the shared area */
98 unsigned long phys_shared_area_addr;
100 /* Message Shared Area start address - will be allocated during init */
101 unsigned long message_shared_area_addr;
104 extern struct sep_device *sep_dev;
106 extern inline void sep_write_reg(struct sep_device *dev, int reg, u32 value)
108 void __iomem *addr = dev->reg_base_address + reg;
112 extern inline u32 sep_read_reg(struct sep_device *dev, int reg)
114 void __iomem *addr = dev->reg_base_address + reg;