Searched refs:vtba (Results 1 – 1 of 1) sorted by relevance
350 static void dump_vtba(struct vtba_t *vtba, int vtl) in dump_vtba() argument357 printf(" JID%d: 0x%08x\n", i, vtba->entry[i].jid); in dump_vtba()358 dump_jid(vtba->entry[i].jid); in dump_vtba()359 printf(" VSCC%d: 0x%08x\n", i, vtba->entry[i].vscc); in dump_vtba()360 dump_vscc(vtba->entry[i].vscc); in dump_vtba()