Function bfdebug_ptr

loader/efi/include/debug.h:374–391

* <!-- description --> * @brief Outputs a string and an pointer to the console * * <!-- inputs/outputs --> * @param str the string to output * @param p the pointer to output */

 *   @param p the pointer to output
 */
static inline void
bfdebug_ptr(char const *const str, void const *const p)
{
    char num[65] = {0};
    (void)bfitoa(((uint64_t)p), num, BASE16);

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

    console_write("[BAREFLANK DEBUG] ");
    console_write(str);
    console_write(": 0x");
    console_write(num);
    console_write("\r\n");
}

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