#pragma once

#include "debugger.h"

extern int arm_singlestep(struct thread *th);