apps/include/misc.h

   1 /*
   2     meinOS - A unix-like x86 microkernel operating system
   3     Copyright (C) 2008  Janosch Gräf <janosch.graef@gmx.net>
   4
   5     This program is free software: you can redistribute it and/or modify
   6     it under the terms of the GNU Lesser General Public License as published by
   7     the Free Software Foundation, either version 3 of the License, or
   8     (at your option) any later version.
   9
  10     This program is distributed in the hope that it will be useful,
  11     but WITHOUT ANY WARRANTY; without even the implied warranty of
  12     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13     GNU Lesser General Public License for more details.
  14
  15     You should have received a copy of the GNU Lesser General Public License
  16     along with this program.  If not, see <http://www.gnu.org/licenses/>.
  17 */
  18
  19 #ifndef _MISC_H_
  20 #define _MISC_H_
  21
  22 #include <sys/types.h>
  23 #include <syscall.h>
  24 #include <rpc.h>
  25 #include <signal.h>
  26
  27 // memory functions
  28 #define mem_getphysaddr(virt) ((void*)syscall_call(SYSCALL_MEM_GETPHYSADDR,1,virt))
  29 #define mem_alloc(size)       ((void*)syscall_call(SYSCALL_MEM_MALLOC,1,size))
  30 #define mem_getvga()          ((void*)syscall_call(SYSCALL_MEM_GETVGA,0))
  31 #define USERSPACE_ADDRESS     0x40000000 /* 1GB */
  32 #define USERSPACE_SIZE        0xBFBFF000 /* 3GB-4MB-4KB */
  33
  34 // VFS
  35 int vfs_mount(const char *fs,const char *mountpoint,const char *dev,int readonly);
  36 int vfs_unmount(const char *fs,const char *mountpoint);
  37
  38 // Execute
  39 struct process_data {
  40   int has_stdin;
  41   int has_stdout;
  42   int has_stderr;
  43   int argc;
  44   char cmdline[0];
  45   char stdio[0];
  46   //char enviroment[0];
  47 } *_process_data;
  48
  49 pid_t execute(const char *path,char *argv[],const char *stdin,const char *stdout,const char *stderr);
  50
  51 // Initialization
  52 /**
  53  * Sends init, that initialization has finished
  54  */
  55 static __inline__ void init_ready() {
  56   kill(1,SIGUSR1);
  57 }
  58
  59 /**
  60  * Shuts down computer
  61  */
  62 static __inline__ void computer_shutdown() {
  63   rpc_call("computer_shutdown",0);
  64 }
  65
  66 void dbgmsg(const char *fmt,...);
  67
  68 #endif