blob: 774f5f209c63d7bf32889d5edd93c6d02ad33901 [file] [log] [blame]
config_require(hardware/cpu/cpu)
void init_cpu_kinfo( void );