Rev 1730 | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
#include <arch/types.h>
#define ASID_MAX_ARCH 4096
typedef __u32 asid_t;
typedef uint32_t asid_t;
#endif
/** @}
*/