PSR_ABT32_MODE
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
*valp = get_stackptr(PSR_ABT32_MODE);
(tf->tf_spsr & PSR_MODE) == PSR_ABT32_MODE) {
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE, abtstack.pv_va + PAGE_SIZE);
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE, abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
set_stackptr(PSR_ABT32_MODE, abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE, abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE, abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE, abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE,
set_stackptr(PSR_ABT32_MODE, abtstack.pv_va + PAGE_SIZE);
set_stackptr(PSR_ABT32_MODE,