Fiasco: preemption_i.h Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef preemption_i_h
00004 #define preemption_i_h
00005 
00006 #include <cassert>
00007 #include "entry_frame.h"
00008 #include "globals.h"
00009 #include "kip.h"
00010 #include "logdefs.h"
00011 #include "lock_guard.h"
00012 #include "thread_lock.h"
00013 #include "thread_state.h"
00014 
00015 //
00016 // IMPLEMENTATION of inline functions follows
00017 //
00018 
00019 
00020 
00021 
00022 inline void
00023 Preemption::setup_msg(L4_pipc const pipc) const
00024 {
00025   receiver()->rcv_regs()->msg_dope (0);         // state = OK
00026   receiver()->rcv_regs()->set_msg_word (0, pipc.low());
00027   receiver()->rcv_regs()->set_msg_word (1, pipc.high());
00028 }
00029 
00030 #endif // preemption_i_h