| 1 | /* | 
|---|
| 2 |  * dev_txt.c - TXT (Text Terminal) generic device API implementation. | 
|---|
| 3 |  * | 
|---|
| 4 |  * Author  Alain Greiner    (2016) | 
|---|
| 5 |  * | 
|---|
| 6 |  * Copyright (c) UPMC Sorbonne Universites | 
|---|
| 7 |  * | 
|---|
| 8 |  * This file is part of ALMOS-MK | 
|---|
| 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 | #include <hal_types.h> | 
|---|
| 25 | #include <hal_special.h> | 
|---|
| 26 | #include <hal_remote.h> | 
|---|
| 27 | #include <hal_drivers.h> | 
|---|
| 28 | #include <thread.h> | 
|---|
| 29 | #include <rpc.h> | 
|---|
| 30 | #include <printk.h> | 
|---|
| 31 | #include <dev_txt.h> | 
|---|
| 32 |  | 
|---|
| 33 | ///////////////////////////////////////////////////////////////////////////////////////// | 
|---|
| 34 | // Extern global variables | 
|---|
| 35 | ///////////////////////////////////////////////////////////////////////////////////////// | 
|---|
| 36 |  | 
|---|
| 37 | extern chdev_directory_t  chdev_dir;         // allocated in kernel_init.c | 
|---|
| 38 |  | 
|---|
| 39 | extern chdev_pic_input_t  chdev_pic_input;   // allocated in kernel_init.c | 
|---|
| 40 |  | 
|---|
| 41 | //////////////////////////////////// | 
|---|
| 42 | void dev_txt_init( chdev_t * chdev ) | 
|---|
| 43 | { | 
|---|
| 44 |     // the local ICU chdev must be initialized before the TXT chdev, because | 
|---|
| 45 |     // the TXT chdev initialization requires allocation of a WTI from local ICU | 
|---|
| 46 |     xptr_t  icu_xp  = chdev_dir.icu[local_cxy]; | 
|---|
| 47 |     assert( (icu_xp != XPTR_NULL) , __FUNCTION__ , "ICU not initialised before TXT" ); | 
|---|
| 48 |  | 
|---|
| 49 |     // get implementation and channel index | 
|---|
| 50 |     uint32_t  impl    = chdev->impl; | 
|---|
| 51 |     uint32_t  channel = chdev->channel; | 
|---|
| 52 |  | 
|---|
| 53 |     // set chdev name | 
|---|
| 54 |     snprintf( chdev->name , 16 , "txt_%d" , chdev->channel ); | 
|---|
| 55 |  | 
|---|
| 56 |     // set fields "cmd", "isr", and call driver init function | 
|---|
| 57 |     if( impl == IMPL_TXT_TTY ) | 
|---|
| 58 |     { | 
|---|
| 59 |         hal_drivers_txt_init( chdev ); | 
|---|
| 60 |     } | 
|---|
| 61 |     else | 
|---|
| 62 |     { | 
|---|
| 63 |         assert( false , __FUNCTION__ , "undefined TXT device implementation" ); | 
|---|
| 64 |     } | 
|---|
| 65 |  | 
|---|
| 66 |     // get a WTI mailbox from local ICU | 
|---|
| 67 |     uint32_t wti_id = dev_icu_wti_alloc(); | 
|---|
| 68 |  | 
|---|
| 69 |     assert( (wti_id != -1) , __FUNCTION__ , "cannot allocate WTI mailbox" ); | 
|---|
| 70 |  | 
|---|
| 71 |     // select a core | 
|---|
| 72 |     lid_t lid = cluster_select_local_core(); | 
|---|
| 73 |  | 
|---|
| 74 |     // enable WTI IRQ and update WTI interrupt vector | 
|---|
| 75 |     dev_icu_enable_irq( lid , WTI_TYPE , wti_id , chdev ); | 
|---|
| 76 |  | 
|---|
| 77 |     // link IOC IRQ to WTI mailbox in PIC component | 
|---|
| 78 |     uint32_t irq_id = chdev_pic_input.txt[channel]; | 
|---|
| 79 |     dev_pic_bind_irq( irq_id , local_cxy , wti_id ); | 
|---|
| 80 |  | 
|---|
| 81 |     // create server thread | 
|---|
| 82 |     thread_t * new_thread; | 
|---|
| 83 |     error_t    error; | 
|---|
| 84 |  | 
|---|
| 85 |     error = thread_kernel_create( &new_thread, | 
|---|
| 86 |                                   THREAD_DEV, | 
|---|
| 87 |                                   &chdev_sequencial_server, | 
|---|
| 88 |                                   chdev, | 
|---|
| 89 |                                   lid ); | 
|---|
| 90 |     assert( (error == 0) , __FUNCTION__ , "cannot create server thread" ); | 
|---|
| 91 |  | 
|---|
| 92 |     // set "server" field in chdev descriptor | 
|---|
| 93 |     chdev->server = new_thread; | 
|---|
| 94 |  | 
|---|
| 95 |     // start server thread | 
|---|
| 96 |     thread_unblock( XPTR( local_cxy , new_thread ) , THREAD_BLOCKED_GLOBAL ); | 
|---|
| 97 | } | 
|---|
| 98 |  | 
|---|
| 99 | ////////////////////////////////////////////////////////////////////////////////// | 
|---|
| 100 | // This static function is called by dev_txt_read(), dev_txt_write() functions. | 
|---|
| 101 | ////////////////////////////////////i///////////////////////////////////////////// | 
|---|
| 102 | static error_t dev_txt_access( uint32_t   type, | 
|---|
| 103 |                                uint32_t   channel, | 
|---|
| 104 |                                char     * buffer, | 
|---|
| 105 |                                uint32_t   count ) | 
|---|
| 106 | { | 
|---|
| 107 |     thread_t * this = CURRENT_THREAD; | 
|---|
| 108 |  | 
|---|
| 109 |     txt_dmsg("\n[INFO] in %s : thread %x in process %x enters\n", | 
|---|
| 110 |                  __FUNCTION__ , this->trdid , this->process->pid ); | 
|---|
| 111 |  | 
|---|
| 112 |     // check channel argument | 
|---|
| 113 |     assert( (channel < CONFIG_MAX_TXT_CHANNELS) , __FUNCTION__ , "illegal channel index" ); | 
|---|
| 114 |  | 
|---|
| 115 |     // get extended pointer on remote TXT chdev descriptor | 
|---|
| 116 |     xptr_t  dev_xp = chdev_dir.txt[channel]; | 
|---|
| 117 |  | 
|---|
| 118 |     assert( (dev_xp != XPTR_NULL) , __FUNCTION__ , "undefined TXT chdev descriptor" ); | 
|---|
| 119 |  | 
|---|
| 120 |     // register command in calling thread descriptor | 
|---|
| 121 |     this->command.txt.dev_xp  = dev_xp; | 
|---|
| 122 |     this->command.txt.type    = type; | 
|---|
| 123 |     this->command.txt.buf_xp  = XPTR( local_cxy , buffer ); | 
|---|
| 124 |     this->command.txt.count   = count; | 
|---|
| 125 |  | 
|---|
| 126 |     // register client thread in waiting queue, activate server thread | 
|---|
| 127 |     // block client thread on THREAD_BLOCKED_IO and deschedule. | 
|---|
| 128 |     // it is re-activated by the ISR signaling IO operation completion. | 
|---|
| 129 |     chdev_register_command( dev_xp , this ); | 
|---|
| 130 |  | 
|---|
| 131 |     txt_dmsg("\n[INFO] in %s : thread %x in process %x completes / error = %d\n", | 
|---|
| 132 |              __FUNCTION__ , this->trdid , this->process->pid , this->command.txt.error ); | 
|---|
| 133 |  | 
|---|
| 134 |     // return I/O operation status from calling thread descriptor | 
|---|
| 135 |     return this->command.txt.error; | 
|---|
| 136 | } | 
|---|
| 137 |  | 
|---|
| 138 | ///////////////////////////////////////// | 
|---|
| 139 | error_t dev_txt_write( uint32_t   channel, | 
|---|
| 140 |                        char     * buffer, | 
|---|
| 141 |                        uint32_t   count ) | 
|---|
| 142 | { | 
|---|
| 143 |     return dev_txt_access( TXT_WRITE , channel , buffer , count ); | 
|---|
| 144 | } | 
|---|
| 145 |  | 
|---|
| 146 | ///////////////////////////////////////// | 
|---|
| 147 | error_t dev_txt_read( uint32_t   channel, | 
|---|
| 148 |                       char     * buffer ) | 
|---|
| 149 | { | 
|---|
| 150 |     return dev_txt_access( TXT_READ , channel , buffer , 1 ); | 
|---|
| 151 | } | 
|---|
| 152 |  | 
|---|
| 153 | /////////////////////////////////////////////// | 
|---|
| 154 | error_t dev_txt_sync_write( uint32_t   channel, | 
|---|
| 155 |                             char     * buffer, | 
|---|
| 156 |                             uint32_t   count ) | 
|---|
| 157 | { | 
|---|
| 158 |     // get pointer on calling thread | 
|---|
| 159 |     thread_t * this = CURRENT_THREAD; | 
|---|
| 160 |  | 
|---|
| 161 |     // get extended pointer on TXT[0] chdev | 
|---|
| 162 |     xptr_t  dev_xp = chdev_dir.txt[channel]; | 
|---|
| 163 |  | 
|---|
| 164 |     assert( (dev_xp != XPTR_NULL) , __FUNCTION__ , "undefined TXT0 chdev descriptor" ); | 
|---|
| 165 |  | 
|---|
| 166 |     // register command in calling thread | 
|---|
| 167 |     this->command.txt.dev_xp  = dev_xp; | 
|---|
| 168 |     this->command.txt.type    = TXT_SYNC_WRITE; | 
|---|
| 169 |     this->command.txt.buf_xp  = XPTR( local_cxy , buffer ); | 
|---|
| 170 |     this->command.txt.count   = count; | 
|---|
| 171 |  | 
|---|
| 172 |     // get driver command function | 
|---|
| 173 |     cxy_t       dev_cxy = GET_CXY( dev_xp ); | 
|---|
| 174 |     chdev_t   * dev_ptr = (chdev_t *)GET_PTR( dev_xp ); | 
|---|
| 175 |     dev_cmd_t * cmd = (dev_cmd_t *)hal_remote_lpt( XPTR( dev_cxy , &dev_ptr->cmd ) ); | 
|---|
| 176 |  | 
|---|
| 177 |     // call directly driver command | 
|---|
| 178 |     cmd( XPTR( local_cxy , this ) ); | 
|---|
| 179 |  | 
|---|
| 180 |     // return I/O operation status from calling thread descriptor | 
|---|
| 181 |     return this->command.txt.error; | 
|---|
| 182 | } | 
|---|
| 183 |  | 
|---|