SPR_HID1
printf(" hid1=%#jx", (uintmax_t)mfspr(SPR_HID1));
if (mfspr(SPR_HID1) & HID1_DFS4)
if (mfspr(SPR_HID1) & HID1_DFS2)
hid1 = old_hid1 = mfspr(SPR_HID1);
mtspr(SPR_HID1, hid1);
h->hatch_hid1 = mfspr(SPR_HID1);
mtspr64(SPR_HID1, h->hatch_hid1);
register_t hid1 = mfspr(SPR_HID1);
mtspr(SPR_HID1, hid1);