123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051 |
- /* Copyright (C) 2014 Stony Brook University
- This file is part of Graphene Library OS.
- Graphene Library OS is free software: you can redistribute it and/or
- modify it under the terms of the GNU Lesser General Public License
- as published by the Free Software Foundation, either version 3 of the
- License, or (at your option) any later version.
- Graphene Library OS is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- GNU Lesser General Public License for more details.
- You should have received a copy of the GNU Lesser General Public License
- along with this program. If not, see <http://www.gnu.org/licenses/>. */
- /*
- * db_stream.c
- *
- * This file contains APIs to open, read, write and get attribute of
- * streams.
- */
- #include "api.h"
- #include "pal.h"
- #include "pal_debug.h"
- #include "pal_defs.h"
- #include "pal_error.h"
- #include "pal_internal.h"
- void _DkPrintConsole(const void* buf, int size) {
- /* needs to be implemented */
- }
- /* _DkStreamUnmap for internal use. Unmap stream at certain memory address.
- The memory is unmapped as a whole.*/
- int _DkStreamUnmap(void* addr, uint64_t size) {
- return -PAL_ERROR_NOTIMPLEMENTED;
- }
- /* _DkSendHandle for internal use. Send a PAL_HANDLE over the given
- process handle. */
- int _DkSendHandle(PAL_HANDLE hdl, PAL_HANDLE cargo) {
- return -PAL_ERROR_NOTIMPLEMENTED;
- }
- /* _DkReceiveHandle for internal use. Receive and return a PAL_HANDLE over the
- given PAL_HANDLE else return negative value. */
- int _DkReceiveHandle(PAL_HANDLE hdl, PAL_HANDLE* cargo) {
- return -PAL_ERROR_NOTIMPLEMENTED;
- }
|