#include "defs.h"

#ifdef BFIN

#include <bfin_sram.h>

#include "xlat/sram_alloc_flags.h"

SYS_FUNC(sram_alloc)
{
	/* size */
	tprintf("%lu, ", tcp->u_arg[0]);
	/* flags */
	printflags64(sram_alloc_flags, tcp->u_arg[1], "???_SRAM");

	return RVAL_DECODED | RVAL_HEX;
}

#endif /* BFIN */