Searched refs:support_getmaxcpuid (Results 1 – 1 of 1) sorted by relevance
41 support_getmaxcpuid(void) in support_getmaxcpuid() function259 maxcpuid = support_getmaxcpuid(); in ATF_TP_ADD_TCS()