O1

08000660 <xPortPendSVHandler>:
 8000660:	f3ef 8009 	mrs	r0, PSP
 8000664:	f3bf 8f6f 	isb	sy
 8000668:	4b15      	ldr	r3, [pc, #84]	; (80006c0 <pxCurrentTCBConst>)
 800066a:	681a      	ldr	r2, [r3, #0]
 800066c:	f01e 0f10 	tst.w	lr, #16
 8000670:	bf08      	it	eq
 8000672:	ed20 8a10 	vstmdbeq	r0!, {s16-s31}
 8000676:	e920 4ff0 	stmdb	r0!, {r4, r5, r6, r7, r8, r9, sl, fp, lr}
 800067a:	6010      	str	r0, [r2, #0]
 800067c:	e92d 0009 	stmdb	sp!, {r0, r3}
 8000680:	f04f 005f 	mov.w	r0, #95	; 0x5f
 8000684:	f380 8811 	msr	BASEPRI, r0
 8000688:	f3bf 8f4f 	dsb	sy
 800068c:	f3bf 8f6f 	isb	sy
 8000690:	f000 fb86 	bl	8000da0 <vTaskSwitchContext>
 8000694:	f04f 0000 	mov.w	r0, #0
 8000698:	f380 8811 	msr	BASEPRI, r0
 800069c:	bc09      	pop	{r0, r3}
 800069e:	6819      	ldr	r1, [r3, #0]
 80006a0:	6808      	ldr	r0, [r1, #0]
 80006a2:	e8b0 4ff0 	ldmia.w	r0!, {r4, r5, r6, r7, r8, r9, sl, fp, lr}
 80006a6:	f01e 0f10 	tst.w	lr, #16
 80006aa:	bf08      	it	eq
 80006ac:	ecb0 8a10 	vldmiaeq	r0!, {s16-s31}
 80006b0:	f380 8809 	msr	PSP, r0
 80006b4:	f3bf 8f6f 	isb	sy
 80006b8:	4770      	bx	lr
 80006ba:	bf00      	nop
 80006bc:	f3af 8000 	nop.w