extern inline int validate_asid (unsigned long asid)
static inline int validate_asid (unsigned long asid)
extern inline int validate_asid (unsigned long asid){	switch (asid) {	case XCHAL_MMU_ASID_INVALID:	case XCHAL_MMU_ASID_KERNEL:	case ASID_RESERVED_1:	case ASID_RESERVED_2:	case ASID_RESERVED_3:		return 0; /* can't use these values as ASIDs */	}	return 1; /* valid */}