為確保最終映像文件中沒有鏈接Semihosting的SWI的函數，必須引入符號__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的函數，可以使用-verbose鏈接選項。這樣，在輸出結果中，C庫函數將被標以__I_use_semihosting_swi的標記。下面這段鏈接器的輸出顯示了使用-verbose鏈接選項后的結果。

Loading member sys_exit.o from c_a__un.l.

definition: _sys_exit

reference : __I_use_semihosting_swi

這時，要使程序正確執行，用戶必須為標記了的函數提供自己的實現方法。