HCONTROL_PMP_ATTACHED
| HCONTROL_PMP_ATTACHED),
iowrite32((temp | HCONTROL_PMP_ATTACHED), hcr_base + HCONTROL);
temp &= ~HCONTROL_PMP_ATTACHED;
temp |= HCONTROL_PMP_ATTACHED;