ttwoga_make_type0addr
addr = b ? tag : ttwoga_make_type0addr(d, f);
static paddr_t ttwoga_make_type0addr(int, int);