root/sys/lib/libkern/arch/amd64/index.S 
/* No code here since kernel implements this itself */