/* * Copyright (C) 2020 Inria * 2020 Koen Zandberg * * @} */ _itim_start_addr = DEFINED( _itim_start_addr ) ? _itim_start_addr : 0x0; _itim_length = DEFINED( _itim_length ) ? _itim_length : 0x0;