Function bfdebug_x16

loader/tests/include/debug.h:70–74

* <!-- description --> * @brief Outputs a string and an 16bit hex to the console * * <!-- inputs/outputs --> * @param str the string to output * @param val the 16bit hex value to output */

 *   @param val the 16bit hex value to output
 */
static inline void
bfdebug_x16(char const *const str, uint16_t const val) NOEXCEPT
{
    printf("[BAREFLANK DEBUG] %s: 0x%" PRIx32 "\n", str, (uint32_t)val);
}

/**
 * <!-- description -->