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