$ objdump -d /usr/bin/mono | grep svc
   1e4e4:	3ff80000 	svccc	0x00f80000
   2eb5c:	ef9f0002 	svc	0x009f0002
   30618:	ef9f0002 	svc	0x009f0002
   30d50:	ef9f0002 	svc	0x009f0002
   30da4:	ef9f0002 	svc	0x009f0002
   30dc8:	ef9f0002 	svc	0x009f0002
   31fc8:	ef9f0002 	svc	0x009f0002
   32160:	ef9f0002 	svc	0x009f0002
   574d4:	af286bcb 	svcge	0x00286bcb
   a1c64:	7ff80000 	svcvc	0x00f80000
   a1e34:	7ff80000 	svcvc	0x00f80000
   a1e38:	3ff00000 	svccc	0x00f00000	; IMB
   a1e3c:	bff00000 	svclt	0x00f00000	; IMB
   a1e40:	7fefffff 	svcvc	0x00efffff
   a1e48:	7ff00000 	svcvc	0x00f00000	; IMB
   a1ebc:	7ff80000 	svcvc	0x00f80000
   a1f30:	7ff80000 	svcvc	0x00f80000
   a2040:	7fefffff 	svcvc	0x00efffff
   a2044:	7ff80000 	svcvc	0x00f80000
   a20b0:	bff00000 	svclt	0x00f00000	; IMB
   a20b4:	3ff00000 	svccc	0x00f00000	; IMB
   a20b8:	7ff80000 	svcvc	0x00f80000
   a2120:	bff00000 	svclt	0x00f00000	; IMB
   a2124:	3ff00000 	svccc	0x00f00000	; IMB
   a2128:	7ff80000 	svcvc	0x00f80000
   a2230:	3fe00000 	svccc	0x00e00000
   a2234:	3ff00000 	svccc	0x00f00000	; IMB
   a2338:	7fefffff 	svcvc	0x00efffff
   a233c:	7ff00000 	svcvc	0x00f00000	; IMB
  11c310:	0f0f0f0f 	svceq	0x000f0f0f
  11cf1c:	efcdab89 	svc	0x00cdab89
  11df44:	8f1bbcdc 	svchi	0x001bbcdc
  12f564:	7ffffb83 	svcvc	0x00fffb83
  131018:	7ffffbff 	svcvc	0x00fffbff