Lines Matching full:verr
3723 // CHECK: verr %bx
3725 verr %bx
3727 // CHECK: verr 3735928559(%ebx,%ecx,8)
3729 verr 0xdeadbeef(%ebx,%ecx,8)
3731 // CHECK: verr 3133065982
3733 verr 0xbabecafe
3735 // CHECK: verr 305419896
3737 verr 0x12345678
13586 // CHECK: verr %bx
13587 verr %bx
13589 // CHECK: verr 3735928559(%ebx,%ecx,8)
13590 verr 0xdeadbeef(%ebx,%ecx,8)
13592 // CHECK: verr 3133065982
13593 verr 0xbabecafe
13595 // CHECK: verr 305419896
13596 verr 0x12345678
