* Ultra64 development system driver 'u64', for Indy R4x00 systems
*
* ip24 cpu boards are distinguished from ip22 cpu boards at runtime, hence
* the kernel is still built as with the ip22 constant.
*
* $Revision: 1.1.1.1 $
*
* Read four bytes from 0xbf400000 (product id register), and verify that this
* value equals 0x15 (product id assigned for the Ultra64 development board).
*

#if defined(IP22)

#if defined(noprobe)
NOPROBE: 1
#define pr(addr,sz)
#define ex_pr(x)
#else
NOPROBE: 0
#define pr(addr,sz)probe=addr probe_size=sz
#define ex_pr(x)exprobe=x
#endif

VECTOR: module=u64 vector=0x0 unit=0 base=0xBF400000 base2=0xBF500000 ex_pr((r,0xBF400000,4,0x15,0xff))

#endif