x86_count_mtrrs
uint32 x86_count_mtrrs(void);
if (x86_count_mtrrs() > 0) {
sMemoryTypeRegisterCount = x86_count_mtrrs();