#define ARM920 1
#define ARM926 2

/* Currently this returns a value defined as ARM920 or ARM926. */
unsigned int id_cpu();

/* This returns 7200, 7250, 7800, etc. */
unsigned int id_ts_model();