diff --git a/src/machine/machine_stm32.go b/src/machine/machine_stm32.go
index 2489dffe..2c6f8bfc 100644
--- a/src/machine/machine_stm32.go
+++ b/src/machine/machine_stm32.go
@@ -51,7 +51,7 @@ func (p GPIO) Configure(config GPIOConfig) {
 	// Enable clock.
 	// Do this always, as it isn't known whether the clock has already been
 	// enabled.
-	stm32.RCC.APB2ENR |= stm32.RCC_APB2ENR_IOPCEN_Msk;
+	stm32.RCC.APB2ENR |= stm32.RCC_APB2ENR_IOPCEN
 
 	// Configure the GPIO pin.
 	port := p.getPort()
diff --git a/src/runtime/runtime_nrf.go b/src/runtime/runtime_nrf.go
index eb1e5e49..40ecd098 100644
--- a/src/runtime/runtime_nrf.go
+++ b/src/runtime/runtime_nrf.go
@@ -86,7 +86,7 @@ type __volatile bool
 var rtc_wakeup __volatile
 
 func rtc_sleep(ticks uint32) {
-	nrf.RTC0.INTENSET = nrf.RTC_INTENSET_COMPARE0_Msk
+	nrf.RTC0.INTENSET = nrf.RTC_INTENSET_COMPARE0
 	rtc_wakeup = false
 	if ticks == 1 {
 		// Race condition (even in hardware) at ticks == 1.
@@ -102,7 +102,7 @@ func rtc_sleep(ticks uint32) {
 
 //go:export RTC0_IRQHandler
 func handleRTC0() {
-	nrf.RTC0.INTENCLR = nrf.RTC_INTENSET_COMPARE0_Msk
+	nrf.RTC0.INTENCLR = nrf.RTC_INTENSET_COMPARE0
 	nrf.RTC0.EVENTS_COMPARE[0] = 0
 	rtc_wakeup = true
 }