Annotation of prex/sys/kern/system.c, Revision 1.1
1.1 ! nbrk 1: /*-
! 2: * Copyright (c) 2005-2007, Kohsuke Ohtani
! 3: * All rights reserved.
! 4: *
! 5: * Redistribution and use in source and binary forms, with or without
! 6: * modification, are permitted provided that the following conditions
! 7: * are met:
! 8: * 1. Redistributions of source code must retain the above copyright
! 9: * notice, this list of conditions and the following disclaimer.
! 10: * 2. Redistributions in binary form must reproduce the above copyright
! 11: * notice, this list of conditions and the following disclaimer in the
! 12: * documentation and/or other materials provided with the distribution.
! 13: * 3. Neither the name of the author nor the names of any co-contributors
! 14: * may be used to endorse or promote products derived from this software
! 15: * without specific prior written permission.
! 16: *
! 17: * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
! 18: * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
! 19: * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
! 20: * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
! 21: * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
! 22: * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
! 23: * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
! 24: * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
! 25: * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
! 26: * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
! 27: * SUCH DAMAGE.
! 28: */
! 29:
! 30: /*
! 31: * system.c - system services
! 32: */
! 33:
! 34: #include <kernel.h>
! 35: #include <thread.h>
! 36: #include <sched.h>
! 37: #include <task.h>
! 38: #include <irq.h>
! 39: #include <page.h>
! 40: #include <device.h>
! 41: #include <system.h>
! 42: #include <version.h>
! 43:
! 44: /*
! 45: * kernel information.
! 46: */
! 47: static const struct info_kernel kern_info = {
! 48: "Prex", VERSION, __DATE__, MACHINE, "preky"
! 49: };
! 50:
! 51: /*
! 52: * Logging system call.
! 53: *
! 54: * Write a message to the logging device. The log function is
! 55: * available only when kernel is built with debug option.
! 56: */
! 57: int
! 58: sys_log(const char *str)
! 59: {
! 60: #ifdef DEBUG
! 61: char buf[DBGMSG_SIZE];
! 62: size_t len;
! 63:
! 64: if (umem_strnlen(str, DBGMSG_SIZE, &len))
! 65: return EFAULT;
! 66: if (len >= DBGMSG_SIZE)
! 67: return EINVAL;
! 68: if (umem_copyin(str, buf, len + 1))
! 69: return EFAULT;
! 70: printf(buf);
! 71: return 0;
! 72: #else
! 73: return ENOSYS;
! 74: #endif
! 75: }
! 76:
! 77: /*
! 78: * Panic system call.
! 79: *
! 80: * If kernel is built with debug option, sys_panic() displays
! 81: * a panic message and stops the enture system. Otherwise, it
! 82: * terminates the task which called sys_panic().
! 83: */
! 84: int
! 85: sys_panic(const char *str)
! 86: {
! 87: #ifdef DEBUG
! 88: task_t self = cur_task();
! 89:
! 90: irq_lock();
! 91: printf("\nUser mode panic: task:%s thread:%x\n",
! 92: self->name != NULL ? self->name : "no name", cur_thread);
! 93:
! 94: sys_log(str);
! 95: printf("\n");
! 96:
! 97: sched_lock();
! 98: irq_unlock();
! 99: BREAKPOINT();
! 100:
! 101: for (;;);
! 102: #else
! 103: task_terminate(cur_task());
! 104: #endif
! 105: /* NOTREACHED */
! 106: return 0;
! 107: }
! 108:
! 109: /*
! 110: * Get system information
! 111: */
! 112: int
! 113: sys_info(int type, void *buf)
! 114: {
! 115: int err = 0;
! 116: struct info_memory imem;
! 117: struct info_timer itmr;
! 118: struct info_thread ithr;
! 119: struct info_device idev;
! 120:
! 121: if (buf == NULL || !user_area(buf))
! 122: return EFAULT;
! 123:
! 124: switch (type) {
! 125: case INFO_KERNEL:
! 126: err = umem_copyout(&kern_info, buf, sizeof(kern_info));
! 127: break;
! 128:
! 129: case INFO_MEMORY:
! 130: page_info(&imem.total, &imem.free);
! 131: err = umem_copyout(&imem, buf, sizeof(imem));
! 132: break;
! 133:
! 134: case INFO_THREAD:
! 135: if (umem_copyin(buf, &ithr, sizeof(ithr)))
! 136: return EFAULT;
! 137: if ((err = thread_info(&ithr)))
! 138: return err;
! 139: ithr.cookie++;
! 140: err = umem_copyout(&ithr, buf, sizeof(ithr));
! 141: break;
! 142:
! 143: case INFO_DEVICE:
! 144: if (umem_copyin(buf, &idev, sizeof(idev)))
! 145: return EFAULT;
! 146: if ((err = device_info(&idev)))
! 147: return err;
! 148: idev.cookie++;
! 149: err = umem_copyout(&idev, buf, sizeof(idev));
! 150: break;
! 151:
! 152: case INFO_TIMER:
! 153: timer_info(&itmr);
! 154: err = umem_copyout(&itmr, buf, sizeof(itmr));
! 155: break;
! 156:
! 157: default:
! 158: err = EINVAL;
! 159: break;
! 160: }
! 161: return err;
! 162: }
! 163:
! 164: /*
! 165: * Get system time - return ticks since OS boot.
! 166: */
! 167: int
! 168: sys_time(u_long *ticks)
! 169: {
! 170: u_long t;
! 171:
! 172: t = timer_count();
! 173: return umem_copyout(&t, ticks, sizeof(t));
! 174: }
! 175:
! 176: /*
! 177: * Kernel debug service.
! 178: */
! 179: int
! 180: sys_debug(int cmd, void *data)
! 181: {
! 182: #ifdef DEBUG
! 183: int err = EINVAL;
! 184: size_t size;
! 185: int item;
! 186:
! 187: switch (cmd) {
! 188: case DCMD_DUMP:
! 189: if (umem_copyin(data, &item, sizeof(item)))
! 190: err = EFAULT;
! 191: else
! 192: err = debug_dump(item);
! 193: break;
! 194: case DCMD_LOGSIZE:
! 195: size = LOGBUF_SIZE;
! 196: err = umem_copyout(&size, data, sizeof(size));
! 197: break;
! 198: case DCMD_GETLOG:
! 199: err = debug_getlog(data);
! 200: break;
! 201: default:
! 202: /* DO NOTHING */
! 203: break;
! 204: }
! 205: return err;
! 206: #else
! 207: return ENOSYS;
! 208: #endif
! 209: }
CVSweb