#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);
}