SG_MAX_CPU_BDS
plat_dimm_sid_board_t domain_dimm_sids[SG_MAX_CPU_BDS];
return (SG_MAX_CPU_BDS);
((((board_num) >= 0) && ((board_num) < SG_MAX_CPU_BDS)) ? TRUE: FALSE)
((((board_num) >= SG_MAX_CPU_BDS) && \
#define SG_MAX_BDS (SG_MAX_CPU_BDS + SG_MAX_IO_BDS)
#define SG_MAX_CPUS (SG_MAX_CPUS_PER_BD * SG_MAX_CPU_BDS)