> > + size_t total_size = 0; > > Please use int instead of size_t (see above for reasons). I have question here: Since `EXT_LINEAR_ADDR_RECORD` supports 32 bit addressing (up to 4GiB), is `int` big enough for this type? The same question will happen to other similar cases. Or should I use `long long` instead of `int`?
Su Hang
