mirror of
https://github.com/drasko/codezero.git
synced 2026-01-13 03:13:15 +01:00
7a388f22b7
Previously python hex() would put an extra 'L' after printing out the value and this would be trimmed in readelf.py. Now it doesn't seem to do that so the lsd of the number was trimmed. This patch fixes that.
78 lines
1.7 KiB
C
78 lines
1.7 KiB
C
/*
|
|
* FS0. Filesystem implementation
|
|
*
|
|
* Copyright (C) 2007 Bahadir Balban
|
|
*/
|
|
#include <stdio.h>
|
|
#include <string.h>
|
|
#include <l4lib/arch/message.h>
|
|
#include <l4lib/arch/syscalls.h>
|
|
#include <l4lib/kip.h>
|
|
#include <l4lib/utcb.h>
|
|
#include <l4lib/ipcdefs.h>
|
|
#include <fs.h>
|
|
|
|
/* Synchronise with pager via a `wait' tagged ipc with destination as pager */
|
|
void wait_pager(l4id_t partner)
|
|
{
|
|
u32 tag = L4_IPC_TAG_WAIT;
|
|
printf("Going to wait till pager finishes dumping.\n");
|
|
l4_ipc(partner, l4_nilthread, tag);
|
|
printf("Pager synced with us.\n");
|
|
}
|
|
|
|
void handle_fs_requests(void)
|
|
{
|
|
u32 mr[MR_UNUSED_TOTAL];
|
|
l4id_t sender;
|
|
int err;
|
|
u32 tag;
|
|
|
|
printf("%s: Listening requests.\n", __TASKNAME__);
|
|
|
|
if ((err = l4_receive(L4_ANYTHREAD)) < 0) {
|
|
printf("%s: %s: IPC Error: %d. Quitting...\n", __TASKNAME__,
|
|
__FUNCTION__, err);
|
|
BUG();
|
|
}
|
|
|
|
/* Read conventional ipc data */
|
|
tag = l4_get_tag();
|
|
sender = l4_get_sender();
|
|
|
|
/* Read mrs not used by syslib */
|
|
for (int i = 0; i < MR_UNUSED_TOTAL; i++)
|
|
mr[i] = read_mr(i);
|
|
|
|
switch(tag) {
|
|
case L4_IPC_TAG_WAIT:
|
|
printf("%s: Synced with waiting thread.\n", __TASKNAME__);
|
|
break;
|
|
case L4_IPC_TAG_OPEN:
|
|
sys_open(sender, (void *)mr[0], (int)mr[1], (u32)mr[2]);
|
|
break;
|
|
case L4_IPC_TAG_READ:
|
|
sys_read(sender, (int)mr[0], (void *)mr[1], (int)mr[2]);
|
|
break;
|
|
case L4_IPC_TAG_WRITE:
|
|
sys_write(sender, (int)mr[0], (void *)mr[1], (int)mr[2]);
|
|
break;
|
|
case L4_IPC_TAG_LSEEK:
|
|
sys_lseek(sender, (int)mr[0], (int)mr[1], (int)mr[2]);
|
|
break;
|
|
default:
|
|
printf("%s: Unrecognised ipc tag (%d)"
|
|
"received. Ignoring.\n", __TASKNAME__, mr[MR_TAG]);
|
|
}
|
|
}
|
|
|
|
void main(void)
|
|
{
|
|
wait_pager(PAGER_TID);
|
|
|
|
while (1) {
|
|
handle_fs_requests();
|
|
}
|
|
}
|
|
|