1 /* 2 * Capability mapping between tasks. 3 * 4 * Copyright (C) 2022, 2023, 2024 Paul Boddie <paul@boddie.org.uk> 5 * 6 * This program is free software; you can redistribute it and/or 7 * modify it under the terms of the GNU General Public License as 8 * published by the Free Software Foundation; either version 2 of 9 * the License, or (at your option) any later version. 10 * 11 * This program is distributed in the hope that it will be useful, 12 * but WITHOUT ANY WARRANTY; without even the implied warranty of 13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 * GNU General Public License for more details. 15 * 16 * You should have received a copy of the GNU General Public License 17 * along with this program; if not, write to the Free Software 18 * Foundation, Inc., 51 Franklin Street, Fifth Floor, 19 * Boston, MA 02110-1301, USA 20 */ 21 22 #include <l4/re/consts.h> 23 #include <l4/sys/err.h> 24 #include <l4/sys/ipc.h> 25 #include <l4/sys/task.h> 26 27 #include "map.h" 28 29 30 31 /* Map a capability to another task. */ 32 33 long ipc_map_capability(l4_cap_idx_t task, struct ipc_mapped_cap mapped_cap) 34 { 35 return l4_error(l4_task_map(task, L4RE_THIS_TASK_CAP, 36 l4_obj_fpage(mapped_cap.cap, 0, mapped_cap.rights), 37 l4_map_obj_control(mapped_cap.mapped_cap, L4_MAP_ITEM_MAP) | 38 mapped_cap.obj_rights)); 39 } 40 41 /* Map several capabilities to another task. */ 42 43 long ipc_map_capabilities(l4_cap_idx_t task, struct ipc_mapped_cap mapped_caps[], 44 unsigned int *count) 45 { 46 long err = L4_EOK; 47 unsigned int i; 48 49 /* Use an invalid mapped capability as the sentinel. */ 50 51 for (i = 0; l4_is_valid_cap(mapped_caps[i].mapped_cap) && !err; i++) 52 { 53 if (l4_is_valid_cap(mapped_caps[i].cap)) 54 err = ipc_map_capability(task, mapped_caps[i]); 55 } 56 57 if (count != NULL) 58 *count = i; 59 60 return err; 61 } 62 63 /* Unmap a capability from another task. */ 64 65 long ipc_unmap_capability(l4_cap_idx_t task, l4_cap_idx_t mapped_cap) 66 { 67 return l4_error(l4_task_unmap(task, 68 l4_obj_fpage(mapped_cap, 0, L4_CAP_FPAGE_RWSD), 69 L4_FP_ALL_SPACES)); 70 } 71 72 // vim: tabstop=2 expandtab shiftwidth=2