irq_i.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef irq_i_h
#define irq_i_h
#include "globals.h"

#include "entry_frame.h"
#include "globalconfig.h"
#include "l4_types.h"
#include "receiver.h"
#include "thread_state.h"

//
// IMPLEMENTATION of inline functions follows
//




inline int
Irq::consume()
{
  int old;

  do 
    {
      old = _queued;
    }
  while (!cas (&_queued, old, old - 1));

  return old - 1;
}

#endif // irq_i_h

---