MMCONF_SIZE
if (range[0].start > base + MMCONF_SIZE)
if (val >= base + MMCONF_SIZE && BASE_VALID(base))
#define BASE_VALID(b) ((b) + MMCONF_SIZE <= (0xfdULL<<32) || (b) >= (1ULL<<40))