Function dump_mk_stack

loader/src/dump_mk_stack.c:41–49

* <!-- description --> * @brief Outputs the contents of a provided mk stack. * * <!-- inputs/outputs --> * @param stack the mk stack to output * @param cpu the CPU that this mk stack belongs to */

 *   @param cpu the CPU that this mk stack belongs to
 */
void
dump_mk_stack(struct span_t const *const stack, uint32_t const cpu) NOEXCEPT
{
    platform_expects(NULLPTR != stack);

    bfdebug_d32("mk stack on cpu", cpu);
    bfdebug_ptr(" - addr", stack->addr);
    bfdebug_x64(" - size", stack->size);
}