1 /* 2 * Capability mapping between tasks. 3 * 4 * Copyright (C) 2022 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.index, L4_MAP_ITEM_MAP))); 38 } 39 40 /* Map several capabilities to another task. */ 41 42 long ipc_map_capabilities(l4_cap_idx_t task, struct ipc_mapped_cap mapped_caps[], 43 unsigned int *count) 44 { 45 long err = L4_EOK; 46 unsigned int i; 47 48 for (i = 0; l4_is_valid_cap(mapped_caps[i].cap) && !err; i++) 49 err = ipc_map_capability(task, mapped_caps[i]); 50 51 if (count != NULL) 52 *count = i; 53 54 return err; 55 } 56 57 // vim: tabstop=2 expandtab shiftwidth=2