TSB512K
ktsb_info[0].tsb_ttesz_mask = TSB8K|TSB64K|TSB512K;
tsb_szc, TSB8K|TSB64K|TSB512K, TSB_ALLOC, scsfmmup) &&
TSB_4M_SZCODE, TSB8K|TSB64K|TSB512K,
TSB8K|TSB64K|TSB512K, 0, sfmmup);
TSB8K|TSB64K|TSB512K, 0, sfmmup);