1 | /* |
---|
2 | * dev_fbf.h - FBF (Block Device Controler) generic device API definition. |
---|
3 | * |
---|
4 | * Author Alain Greiner (2016,2017,2018,2019) |
---|
5 | * |
---|
6 | * Copyright (c) UPMC Sorbonne Universites |
---|
7 | * |
---|
8 | * This file is part of ALMOS-MKH |
---|
9 | * |
---|
10 | * ALMOS-MKH is free software; you can redistribute it and/or modify it |
---|
11 | * under the terms of the GNU General Public License as published by |
---|
12 | * the Free Software Foundation; version 2.0 of the License. |
---|
13 | * |
---|
14 | * ALMOS-MKH is distributed in the hope that it will be useful, but |
---|
15 | * WITHOUT ANY WARRANTY; without even the implied warranty of |
---|
16 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
---|
17 | * General Public License for more details. |
---|
18 | * |
---|
19 | * You should have received a copy of the GNU General Public License |
---|
20 | * along with ALMOS-kernel; if not, write to the Free Software Foundation, |
---|
21 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA |
---|
22 | */ |
---|
23 | |
---|
24 | #ifndef _DEV_FBF_H |
---|
25 | #define _DEV_FBF_H |
---|
26 | |
---|
27 | #include <hal_kernel_types.h> |
---|
28 | #include <shared_fbf.h> |
---|
29 | |
---|
30 | /**** Forward declarations ****/ |
---|
31 | |
---|
32 | struct chdev_s; |
---|
33 | |
---|
34 | /***************************************************************************************** |
---|
35 | * Generic Frame Buffer Controler definition |
---|
36 | * |
---|
37 | * This device provide access to an external graphic display, that is seen |
---|
38 | * as a fixed size frame buffer, mapped in the kernel address space. |
---|
39 | * The supported pixel encoding types are defined in the <shared_fbf.h> file. |
---|
40 | * |
---|
41 | * It supports three command types: |
---|
42 | * GET_CONFIG : return frame buffer size and type. |
---|
43 | * READ : move bytes from frame buffer to memory / deschedule the calling thread. |
---|
44 | * WRITE : move bytes from memory to frame buffer / deschedule the calling thread. |
---|
45 | * |
---|
46 | * The READ and WRITE operations do not use the FBF device waiting queue, |
---|
47 | * the server thread, and the IOC IRQ. The client thread does not deschedule: |
---|
48 | * it registers the command in the thread descriptor, and calls directly the FBF driver. |
---|
49 | * that makes a (user <-> kernel) memcpy. |
---|
50 | * |
---|
51 | * Note: As we don't use any external DMA to move data, but a purely software approach, |
---|
52 | * there is no L2/L3 coherence issue. |
---|
53 | *****************************************************************************************/ |
---|
54 | |
---|
55 | /****************************************************************************************** |
---|
56 | * This defines the (implementation independant) extension for the generic FBF device. |
---|
57 | *****************************************************************************************/ |
---|
58 | |
---|
59 | typedef struct fbf_extend_s |
---|
60 | { |
---|
61 | uint32_t width; /*! number of pixels per line. */ |
---|
62 | uint32_t height; /*! total number of lines. */ |
---|
63 | uint32_t subsampling; /*! pixel encoding type. */ |
---|
64 | } |
---|
65 | fbf_extend_t; |
---|
66 | |
---|
67 | /****************************************************************************************** |
---|
68 | * This enum defines the various implementations of the generic FBF peripheral. |
---|
69 | * It must be kept consistent with the define in arch_info.h file. |
---|
70 | *****************************************************************************************/ |
---|
71 | |
---|
72 | enum fbf_impl_e |
---|
73 | { |
---|
74 | IMPL_FBF_SCL = 0, |
---|
75 | IMPL_FBF_I86 = 1, |
---|
76 | } |
---|
77 | fbf_impl_t; |
---|
78 | |
---|
79 | typedef struct fbf_command_s |
---|
80 | { |
---|
81 | xptr_t dev_xp; /*! extended pointer on device descriptor */ |
---|
82 | uint32_t type; /*! requested operation type. */ |
---|
83 | uint32_t length; /*! number of bytes. */ |
---|
84 | uint32_t offset; /*! offset in frame buffer (bytes) */ |
---|
85 | void * buffer; /*! pointer on memory buffer in user space */ |
---|
86 | uint32_t error; /*! operation status (0 if success) */ |
---|
87 | } |
---|
88 | fbf_command_t; |
---|
89 | |
---|
90 | |
---|
91 | /****************************************************************************************** |
---|
92 | * This function returns a printable string for a given FBF command <cmd_type>. |
---|
93 | ****************************************************************************************** |
---|
94 | * @ cmd_type : FBF command type (defined in shared_fbf.h file). |
---|
95 | * @ returns a string pointer. |
---|
96 | *****************************************************************************************/ |
---|
97 | char * dev_fbf_cmd_str( uint32_t cmd_type ); |
---|
98 | |
---|
99 | /****************************************************************************************** |
---|
100 | * This function completes the FBF chdev descriptor initialisation. |
---|
101 | * It calls the specific driver initialisation function, to initialise the hardware |
---|
102 | * device and the chdev extension. It must be called by a local thread. |
---|
103 | ****************************************************************************************** |
---|
104 | * @ chdev : pointer on FBF chdev descriptor. |
---|
105 | *****************************************************************************************/ |
---|
106 | void dev_fbf_init( struct chdev_s * chdev ); |
---|
107 | |
---|
108 | /****************************************************************************************** |
---|
109 | * This function returns the frame buffer size and type. |
---|
110 | * It does NOT access the hardware, as the size and type have been registered |
---|
111 | * in the chdev descriptor extension. |
---|
112 | ****************************************************************************************** |
---|
113 | * @ width : [out] number of pixels per line. |
---|
114 | * @ height : [out] total number of lines. |
---|
115 | * @ type : [out] pixel encoding type. |
---|
116 | *****************************************************************************************/ |
---|
117 | void dev_fbf_get_config( uint32_t * width, |
---|
118 | uint32_t * height, |
---|
119 | uint32_t * type ); |
---|
120 | |
---|
121 | /****************************************************************************************** |
---|
122 | * This blocking function moves <length> bytes between the frame buffer, starting from |
---|
123 | * byte defined by <offset>, and an user buffer defined by the <user_buffer> argument. |
---|
124 | * It can be called by a client thread running in any cluster. |
---|
125 | * The transfer direction are defined by the <cmd_type> argument. |
---|
126 | * The request is registered in the client thread descriptor, but the client thread is |
---|
127 | * not descheduled, and calls directly the FBF driver. |
---|
128 | ****************************************************************************************** |
---|
129 | * @ cmd_type : FBF_READ / FBF_WRITE / FBF_SYNC_READ / FBF_SYN_WRITE. |
---|
130 | * @ user_buffer : pointer on memory buffer in user space. |
---|
131 | * @ length : number of bytes. |
---|
132 | * @ offset : first byte in frame buffer. |
---|
133 | * @ returns 0 if success / returns EINVAL if error. |
---|
134 | *****************************************************************************************/ |
---|
135 | error_t dev_fbf_move_data( uint32_t cmd_type, |
---|
136 | void * user_buffer, |
---|
137 | uint32_t length, |
---|
138 | uint32_t offset ); |
---|
139 | |
---|
140 | #endif /* _DEV_FBF_H */ |
---|