1/* 2 * Copyright (c) 2018, ETH Zurich. 3 * All rights reserved. 4 * 5 * This file is distributed under the terms in the attached LICENSE file. 6 * If you do not find this file, copies can be found by writing to: 7 * ETH Zurich D-INFK, Universitaetsstrasse 6, CH-8092 Zurich. 8 * Attn: Systems Group. 9 */ 10 11#ifndef DRIVERKIT_CONTROL_H 12#define DRIVERKIT_CONTROL_H 1 13 14#include <barrelfish/types.h> 15#include <errors/errno.h> 16 17/** 18 * @brief creates a new endpoint to a driver instance 19 * 20 * @param drv driver instance we want an endpoint to 21 * @param cap return cap i.e. the endpoint, slot will be allocted 22 * @param lmp type of the endpoint (true = LMP false = UMP) 23 * 24 * @return SYS_ERR_OK on success, errval on failure 25 */ 26errval_t driverkit_get_driver_ep_cap(struct driver_instance* drv, struct capref* cap, bool lmp); 27 28#endif // DRIVERKIT_CONTROL_H 29