entry_frame.h File Reference

#include "l4_types.h"
#include "types.h"

Go to the source code of this file.

Functions
void	Entry_frame_Syscall_frame_cast_problem ()
template<typename Cl>
Cl *	sys_frame_cast (Entry_frame *e)

---

Function Documentation

void Entry_frame_Syscall_frame_cast_problem (   )

template<typename Cl> Cl * sys_frame_cast (  Entry_frame *  e  )  [inline]

---