fastmodel: Plumb the ITB and DTB through the IRIS thread context.

These might be necessary to, for instance, translate virtual addresses.
A custom TLB which uses the IRIS API will be written which can be
substituted in for the normal ARM TLB.

Change-Id: Ic44822db6692ca3a4ca13875b2260b08547a24da
Tested-by: kokoro <>
Reviewed-by: Chun-Chen TK Hsu <>
Reviewed-by: Giacomo Travaglini <>
Maintainer: Giacomo Travaglini <>
5 files changed