SPRN_BESCR
t->bescr = mfspr(SPRN_BESCR);
mtspr(SPRN_BESCR, new_thread->bescr);
case SPRN_BESCR:
case SPRN_BESCR:
mtspr(SPRN_BESCR, current->thread.bescr);
mtspr(SPRN_BESCR, vcpu->arch.bescr);
vcpu->arch.bescr = mfspr(SPRN_BESCR);
bescr = mfspr(SPRN_BESCR);
mtspr(SPRN_BESCR, bescr);
mfspr(SPRN_EBBRR), mfspr(SPRN_BESCR));
mfspr(SPRN_EBBHR), mfspr(SPRN_EBBRR), mfspr(SPRN_BESCR));
val = mfspr(SPRN_BESCR);
mfspr(SPRN_BESCR);
val = mfspr(SPRN_BESCR);
val = mfspr(SPRN_BESCR);
bescr = mfspr(SPRN_BESCR);
mtspr(SPRN_BESCR, 0x8000000100000000ull);
FAIL_IF(mfspr(SPRN_BESCR) != 0);
val = mfspr(SPRN_BESCR);
val = mfspr(SPRN_BESCR);
val = mfspr(SPRN_BESCR);
mtspr(SPRN_BESCR, expected);
val = mfspr(SPRN_BESCR);