/tmp/l4check/full_tree/trunk/l4/pkg/dde_linux/lib/src/global.c

Go to the documentation of this file.

/* $Id: global.c 22313 2005-09-23 12:56:14Z ch12 $ */
/*****************************************************************************/
/* (c) 2003 Technische Universitaet Dresden
 * This file is part of DROPS, which is distributed under the terms of the
 * GNU General Public License 2. Please see the COPYING file for details.
 */

/* L4 */
#include <l4/lock/lock.h>
#include <l4/dde_linux/dde.h>

/* Linux */
#include <asm/system.h>

/* local */
#include "internal.h"

#include <stdlib.h>

static l4lock_t irq_lock = L4LOCK_UNLOCKED_INITIALIZER; 

void __global_cli()
{
  if (!l4thread_equal(l4thread_myself(), l4lock_owner(&irq_lock)))
    l4lock_lock(&irq_lock);
}

void __global_sti()
{
  l4lock_unlock(&irq_lock);
}

unsigned long __global_save_flags()
{
  l4thread_t me = l4thread_myself();

  return l4thread_equal(me, l4lock_owner(&irq_lock)) ? 1 : 0;
}

void __global_restore_flags(unsigned long flags)
{
  switch (flags)
    {
    case 0:
      __global_sti();
      break;

    case 1:
      __global_cli();
      break;
    default:
      LOGd(DEBUG_MSG, "__global_restore_flags: unknown flags");
    }
}

int get_option (char **str, int *pint)
{
  char *cur = *str;

  if (!cur || !(*cur))
    return 0;
  *pint = strtol (cur, str, 0);
  if (cur == *str)
    return 0;
  if (**str == ',')
    {
      (*str)++;
      return 2;
    }

  return 1;
}

char *get_options (char *str, int nints, int *ints)
{
  int res, i = 1;

  while (i < nints)
  {
    res = get_option(&str, ints + i);
    if (res == 0)
      break;
    i++;
    if (res == 1)
      break;
  }
  ints[0] = i - 1;
  return str;
}

#include <linux/spinlock.h>
spinlock_cacheline_t kernel_flag_cacheline = {SPIN_LOCK_UNLOCKED};

#include <asm/delay.h>
void udelay(unsigned long usecs)
{
  l4thread_usleep(usecs);
}

int l4dde_driver_classes_init(void)
{
  LOGd(DEBUG_MSG, "l4dde_driver_classes_init() should not be used with DDE2.4\n");

  return 0;
}

#include <linux/reboot.h>
int register_reboot_notifier(struct notifier_block *arg0)
{
#if DEBUG_MSG
  LOG_Enter();
#endif
  return 0;
}

int unregister_reboot_notifier(struct notifier_block *arg0)
{
#if DEBUG_MSG
  LOG_Enter();
#endif
  return 0;
}

---