/* Check if given address is in device FLASH range.  */
__STATIC_INLINE bool addr_is_in_FLASH(void const *const ptr)
/* Check if given address is in device FLASH range.  */
__STATIC_INLINE bool addr_is_in_FLASH(void const *const ptr)
{
    return ((((uintptr_t)ptr) & 0xFF000000u) == 0x00000000u);
}