1 // SPDX-License-Identifier: GPL-2.0-only 2 #include <kbuild.h> 3 #include <asm/sbi.h> 4 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