0365070f05f1 ^
1 2 3 4 5 6 7
/* * Amon support */ int amon_cpu_avail(int); void amon_cpu_start(int, unsigned long, unsigned long, unsigned long, unsigned long);