mirror of
https://github.com/drasko/codezero.git
synced 2026-01-12 02:43:15 +01:00
68 lines
1.8 KiB
C
68 lines
1.8 KiB
C
/*
|
|
* Kernel Interface Page and sys_kdata_read()
|
|
*
|
|
* Copyright (C) 2007, 2008 Bahadir Balban
|
|
*/
|
|
#include <l4/generic/tcb.h>
|
|
#include <l4/generic/physmem.h>
|
|
#include <l4/generic/space.h>
|
|
#include <l4/api/errno.h>
|
|
#include INC_API(kip.h)
|
|
#include INC_API(syscall.h)
|
|
#include INC_GLUE(memlayout.h)
|
|
#include INC_ARCH(bootdesc.h)
|
|
|
|
__attribute__ ((section(".data.kip"))) struct kip kip;
|
|
|
|
/* Error-checked kernel data request call */
|
|
int __sys_kread(int rd, void *dest)
|
|
{
|
|
int err = 0;
|
|
unsigned long vaddr = (unsigned long)dest;
|
|
|
|
switch(rd) {
|
|
case KDATA_PAGE_MAP:
|
|
// printk("Handling KDATA_PAGE_MAP request.\n");
|
|
if (check_access(vaddr, sizeof(page_map), MAP_USR_RW_FLAGS, 1) < 0)
|
|
return -EINVAL;
|
|
memcpy(dest, &page_map, sizeof(page_map));
|
|
break;
|
|
case KDATA_BOOTDESC:
|
|
// printk("Handling KDATA_BOOTDESC request.\n");
|
|
if (check_access(vaddr, bootdesc->desc_size, MAP_USR_RW_FLAGS, 1) < 0)
|
|
return -EINVAL;
|
|
memcpy(dest, bootdesc, bootdesc->desc_size);
|
|
break;
|
|
case KDATA_BOOTDESC_SIZE:
|
|
// printk("Handling KDATA_BOOTDESC_SIZE request.\n");
|
|
if (check_access(vaddr, sizeof(unsigned int), MAP_USR_RW_FLAGS, 1) < 0)
|
|
return -EINVAL;
|
|
*(unsigned int *)dest = bootdesc->desc_size;
|
|
break;
|
|
|
|
default:
|
|
printk("Unsupported kernel data request.\n");
|
|
err = -1;
|
|
}
|
|
return err;
|
|
|
|
}
|
|
|
|
/*
|
|
* Privilaged tasks use this call to request data about the system during their
|
|
* initialisation. This read-like call is only available during system startup.
|
|
* It is much more flexible to use this method rather than advertise a customly
|
|
* forged KIP to all tasks throughout the system lifetime. Note, this does not
|
|
* support file positions, any such features aren't supported since this is call
|
|
* is discarded after startup.
|
|
*/
|
|
int sys_kread(int rd, void *addr)
|
|
{
|
|
/* Error checking */
|
|
if (rd < 0)
|
|
return -EINVAL;
|
|
|
|
return __sys_kread(rd, addr);
|
|
}
|
|
|