Function bfdebug_x16

loader/linux/include/debug.h:91–104

* <!-- 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)
{
    char num[65] = {0};
    bfitoa(((uint64_t)val), num, BASE16);

    serial_write("[BAREFLANK DEBUG] ");
    serial_write(str);
    serial_write(": 0x");
    serial_write(num);
    serial_write("\n");

    printk(KERN_INFO "[BAREFLANK DEBUG] %s: 0x%s\n", str, num);
}

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