Changeset 481 for soft/giet_vm/giet_drivers/ioc_driver.c
- Timestamp:
- Jan 1, 2015, 8:23:48 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
soft/giet_vm/giet_drivers/ioc_driver.c
r456 r481 150 150 151 151 // get user buffer first page ppn and flags 152 unsigned int ko = _v2p_translate( (page_table_t*)pt_vbase, 153 buf_vaddr >> 12, 154 &ppn, 155 &flags ); 152 _v2p_translate( (page_table_t*)pt_vbase, 153 buf_vaddr >> 12, 154 &ppn, 155 &flags ); 156 156 157 // check access rights 157 if ( ko )158 {159 _puts("\n[IOC ERROR] in _ioc_access() : buffer unmapped\n");160 _exit();161 }162 163 158 if ( (mode == IOC_USER_MODE) && ((flags & PTE_U) == 0) ) 164 159 {
Note: See TracChangeset
for help on using the changeset viewer.