為確保最終映像文件中沒有鏈接Semihosting的SWI的函數(shù)，必須引入符號__use_no_semihosting_swi。使用方法如下所示。

· 在C模塊中，使用#pragma命令：

#pragma import(__use_no_semihosting_swi)

· 在匯編語言模塊中，使用IMPORT命令：

IMPORT __use_no_semihosting_swi

如果在程序中引入了__use_no_semihosting_swi，但最終映像仍鏈接了Semihosting庫，鏈接器會報告如下錯誤：

Error: L6200E: Symbol __semihosting_swi_guard multiply defined (by use_semi.o and use_no_semi.o)。

為幫助找出這些使用了Semihosting的函數(shù)，可以使用-verbose鏈接選項(xiàng)。這樣，在輸出結(jié)果中，C庫函數(shù)將被標(biāo)以__I_use_semihosting_swi的標(biāo)記。下面這段鏈接器的輸出顯示了使用-verbose鏈接選項(xiàng)后的結(jié)果。

Loading member sys_exit.o from c_a__un.l.

definition: _sys_exit

reference : __I_use_semihosting_swi

這時，要使程序正確執(zhí)行，用戶必須為標(biāo)記了的函數(shù)提供自己的實(shí)現(xiàn)方法。