Searched refs:support_getmaxcpus (Results 1 – 1 of 1) sorted by relevance
31 support_getmaxcpus(void) in support_getmaxcpus() function258 maxcpus = support_getmaxcpus(); in ATF_TP_ADD_TCS()