Rev 2417 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
*/
typedef struct {
unsigned dummy : 32;
} pte_t;
#endif
/** @}