/* | |
* SPDX-License-Identifier: BSD-2-Clause | |
* | |
* Copyright (c) 2019 Western Digital Corporation or its affiliates. | |
* | |
* Authors: | |
* Anup Patel <anup.patel@wdc.com> | |
*/ | |
#include <sbi/sbi_ecall_interface.h> | |
#define wfi() \ | |
do { \ | |
__asm__ __volatile__ ("wfi" ::: "memory"); \ | |
} while (0) | |
void test_main(unsigned long a0, unsigned long a1) | |
{ | |
sbi_ecall_console_puts("\nTest payload running\n"); | |
while (1) | |
wfi(); | |
} |