#include "types.h"

u32 lldbg_entry_cpsr;
u32 lldbg_entry_sp;

void
cmd_entryinfo()
{
	printf("CPSR on entry: %08X\n", lldbg_entry_cpsr);
	printf("SP on entry after register save: %08X\n", lldbg_entry_sp);
}