ISR-safe malloc