rbx               427 mtcp/mtcp_sys.h # define ebx rbx
rbx                32 mtcp/restore_libc.h # define ebx rbx