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