#include <stdint.h>

#include <stdlib.h>

#include <stdio.h>

#include <string.h>

#include <errno.h>

#include <sofort/sofort.h>

#include "sofort_driver_impl.h"

#include "sofort_dprintf_impl.h"

int sfrt_output_address(

	const struct sfrt_driver_ctx *	dctx,

	const struct sfrt_unit_ctx *	uctx)

{

	return sfrt_dprintf(

		sfrt_driver_fdout(dctx),

		"%*p\n",

		(int)(2*sizeof(size_t)),

		uctx->map->addr);

}