*HEART_CLR_ISR = 0xFFFFFFFFFFFFFFFF;    /* acknowledge everything */
        *HEART_IMR(0) = 0x0000000000000000;     /* mask all IRQs, leave errors on */
        *HEART_IMR(1) = 0x0000000000000000;
        *HEART_IMR(2) = 0x0000000000000000;
        *HEART_IMR(3) = 0x0000000000000000;
        *HEART_IMR(cpu_logical_map(0)) = 0x7FF8000000000000;