#include "uml-config.h".globlsyscall_stub.section.__syscall_stub,"x"syscall_stub:syscall/* We don't have 64-bit constants, so this constructs the address * we need. */movq$(UML_CONFIG_STUB_DATA>>32),%rbxsalq$32,%rbxmovq$(UML_CONFIG_STUB_DATA&0xffffffff),%rcxor%rcx,%rbxmovq%rax,(%rbx)int3