O0

08000a60 <xPortPendSVHandler>:
 8000a60:	f3ef 8009 	mrs	r0, PSP
 8000a64:	f3bf 8f6f 	isb	sy
 8000a68:	4b15      	ldr	r3, [pc, #84]	; (8000ac0 <pxCurrentTCBConst>)
 8000a6a:	681a      	ldr	r2, [r3, #0]
 8000a6c:	f01e 0f10 	tst.w	lr, #16
 8000a70:	bf08      	it	eq
 8000a72:	ed20 8a10 	vstmdbeq	r0!, {s16-s31}
 8000a76:	e920 4ff0 	stmdb	r0!, {r4, r5, r6, r7, r8, r9, sl, fp, lr}
 8000a7a:	6010      	str	r0, [r2, #0]
 8000a7c:	e92d 0009 	stmdb	sp!, {r0, r3}
 8000a80:	f04f 00bf 	mov.w	r0, #191	; 0xbf
 8000a84:	f380 8811 	msr	BASEPRI, r0
 8000a88:	f3bf 8f4f 	dsb	sy
 8000a8c:	f3bf 8f6f 	isb	sy
 8000a90:	f000 fb68 	bl	8001164 <vTaskSwitchContext>
 8000a94:	f04f 0000 	mov.w	r0, #0
 8000a98:	f380 8811 	msr	BASEPRI, r0
 8000a9c:	bc09      	pop	{r0, r3}
 8000a9e:	6819      	ldr	r1, [r3, #0]
 8000aa0:	6808      	ldr	r0, [r1, #0]
 8000aa2:	e8b0 4ff0 	ldmia.w	r0!, {r4, r5, r6, r7, r8, r9, sl, fp, lr}
 8000aa6:	f01e 0f10 	tst.w	lr, #16
 8000aaa:	bf08      	it	eq
 8000aac:	ecb0 8a10 	vldmiaeq	r0!, {s16-s31}
 8000ab0:	f380 8809 	msr	PSP, r0
 8000ab4:	f3bf 8f6f 	isb	sy
 8000ab8:	4770      	bx	lr
 8000aba:	bf00      	nop
 8000abc:	f3af 8000 	nop.w