Added cacheable parameter to set_ttb0 and removed  'n' as it wasn't used.
set_ttbc now works and uses the parameters it's passed
Working set_domain_access