void sleep_cpu(void)

Put the device into sleep mode. The SE bit must be set beforehand, and it is recommended to clear it afterwards.