1/* 2 * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230) 3 * 4 * SPDX-License-Identifier: BSD-2-Clause 5 */ 6 7#pragma once 8 9/** 10 * Install a VMM service into the VM 11 * Effectively a cap copy into the CNode of the VM. This allows the VM to 12 * make a seL4 call 13 * @param[in] vm The VM to install the service into 14 * @param[in] service A capability for VM 15 * @param[in] index The index at which to install the cap 16 * @param[in] badge The badge to assign to the cap. 17 * @return 0 on success 18 */ 19int vmm_install_service(vm_t *vm, seL4_CPtr service, int index, uint32_t badge); 20