xref: /kvm-unit-tests/riscv/sbi-asm-offsets.c (revision 695740795adee59b48599e2f1a6bf19866a77779)
1 // SPDX-License-Identifier: GPL-2.0-only
2 #include <kbuild.h>
3 #include <asm/sbi.h>
4 
main(void)5 int main(void)
6 {
7 	DEFINE(ASM_SBI_EXT_HSM, SBI_EXT_HSM);
8 	DEFINE(ASM_SBI_EXT_HSM_HART_STOP, SBI_EXT_HSM_HART_STOP);
9 
10 	return 0;
11 }
12