src/arch/aarch64/inc/hf/arch/vm/shutdown.h

#pragma once

#include <stdnoreturn.h>

noreturn void shutdown(void);