Not sure what you mean with MiiMaker, I have always used HBL or the forwarder.
This is all beyond my area of expertise...
Still, reading the docs
auto
So I figure
void OSGetCodegenVirtAddrRange(uint32_t *outaddr, uint32_t *outsize)
Will give me an address space and it's size.
But what...