mirror of
https://github.com/drasko/codezero.git
synced 2026-01-13 11:23:16 +01:00
488d9e6271
When copying file pages back and forth, we need both dst and src offsets since the cursor offset and read/write buffer page offsets are different. This is now fixed. Also done some mods to close().
47 lines
911 B
C
47 lines
911 B
C
/*
|
|
* l4/posix glue for close()
|
|
*
|
|
* Copyright (C) 2007 Bahadir Balban
|
|
*/
|
|
#include <errno.h>
|
|
#include <stdio.h>
|
|
#include <unistd.h>
|
|
#include <l4lib/arch/syscalls.h>
|
|
#include <l4lib/arch/syslib.h>
|
|
#include <l4lib/ipcdefs.h>
|
|
#include <l4lib/utcb.h>
|
|
#include <l4/macros.h>
|
|
#include INC_GLUE(memory.h)
|
|
|
|
static inline int l4_close(int fd)
|
|
{
|
|
write_mr(L4SYS_ARG0, fd);
|
|
|
|
/* Call pager with close() request. Check ipc error. */
|
|
if ((fd = l4_sendrecv(PAGER_TID, PAGER_TID, L4_IPC_TAG_CLOSE)) < 0) {
|
|
printf("%s: L4 IPC Error: %d.\n", __FUNCTION__, fd);
|
|
return fd;
|
|
}
|
|
/* Check if syscall itself was successful */
|
|
if ((fd = l4_get_retval()) < 0) {
|
|
printf("%s: CLOSE Error: %d.\n", __FUNCTION__, fd);
|
|
return fd;
|
|
}
|
|
return fd;
|
|
}
|
|
|
|
int close(int fd)
|
|
{
|
|
int ret = l4_close(fd);
|
|
|
|
/* If error, return positive error code */
|
|
if (ret < 0) {
|
|
errno = -ret;
|
|
return -1;
|
|
}
|
|
|
|
/* else return value */
|
|
return ret;
|
|
}
|
|
|