#ifndef _L4_VREGS_H #define _L4_VREGS_H 1 #include /* defines extern inlines for virtual register access. */ #include #endif /* l4/vregs.h */