arch.h File Reference

#include <stdbool.h>
#include <stdint.h>
#include <pbl/coredump/format.h>
#include <pbl/kernel/debug.h>

Functions
void	arch_coredump_trigger (void)
	Stop the system and enter pbl_coredump_arch_handler().
void	arch_coredump_thread_regs (uint32_t regs[PBL_THREAD_REG_COUNT])
	Get the registers of the thread that was running.
bool	arch_coredump_exception_regs (uint32_t regs[PBL_THREAD_REG_COUNT])
	Get the registers of the exception that was running, if any.
const struct pbl_coredump_extra_regs *	arch_coredump_extra_regs (void)
	Get the special registers at the time of the dump.
void	pbl_coredump_arch_handler (void)
	Write the core dump and reset.