An ASM example I found online for a mimimal 64-bit kernel