1 #objdump: -drwMintel 2 #name: x86-64 RdSeed(Intel mode) 3 #source: x86-64-rdseed.s 4 5 .*: +file format .* 6 7 8 Disassembly of section .text: 9 10 0+ <foo>: 11 [ ]*[a-f0-9]+: 66 0f c7 f8 rdseed ax 12 [ ]*[a-f0-9]+: 0f c7 f8 rdseed eax 13 [ ]*[a-f0-9]+: 48 0f c7 f8 rdseed rax 14 [ ]*[a-f0-9]+: 66 41 0f c7 fb rdseed r11w 15 [ ]*[a-f0-9]+: 41 0f c7 fb rdseed r11d 16 [ ]*[a-f0-9]+: 49 0f c7 fb rdseed r11 17 [ ]*[a-f0-9]+: 66 0f c7 fb rdseed bx 18 [ ]*[a-f0-9]+: 0f c7 fb rdseed ebx 19 [ ]*[a-f0-9]+: 48 0f c7 fb rdseed rbx 20 [ ]*[a-f0-9]+: 66 41 0f c7 fb rdseed r11w 21 [ ]*[a-f0-9]+: 41 0f c7 fb rdseed r11d 22 [ ]*[a-f0-9]+: 49 0f c7 fb rdseed r11 23 #pass 24