00001 /* misc.h */ 00002 00003 #ifndef __SYSTEM 00004 #include "routix/system.h" 00005 #endif 00006 00007 00008 // Setea el valor de una variable visible desde el modo Kernel y User 00009 int setvar(char *nombre, int valor); 00010 // Devuelve el valor de una variable visible desde el modo Kernel y User 00011 int getvar(char *nombre); 00012 00013 // Wrappers que transforman las direccion de nombre del User al Kernel space 00014 inline int sys_setvar(char *nombre, int valor); 00015 inline int sys_getvar(char *nombre); 00016 00017 int find_var(char *nombre); 00018 int find_empty_var(void); 00019 00020 void sys_read_debug(int sector); 00021 00022 00023 00024