SPRN_CIABR
mtspr(SPRN_CIABR, 0);
host_ciabr = mfspr(SPRN_CIABR);
mtspr(SPRN_CIABR, vcpu->arch.ciabr);
mtspr(SPRN_CIABR, host_ciabr);
sprs.ciabr = mfspr(SPRN_CIABR);
mtspr(SPRN_CIABR, sprs.ciabr);
printf("ciabr = %.16lx\n", mfspr(SPRN_CIABR));
mtspr(SPRN_CIABR, ciabr);