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