/*
* Copy the initial value of the domain access control register
* from the current thread: thread->addr_limit will have been
/*
* Copy the initial value of the domain access control register
* from the current thread: thread->addr_limit will have been