43f7c:	e59f31b0 	ldr	r3, [pc, #432]	; 44134 <.text+0x74c>
   43f80:	e083b105 	add	fp, r3, r5, lsl #2
   43f84:	e59f81a0 	ldr	r8, [pc, #416]	; 4412c <.text+0x744>
   43f88:	e085a105 	add	sl, r5, r5, lsl #2
   43f8c:	e1a0718a 	mov	r7, sl, lsl #3
   43f90:	e287300c 	add	r3, r7, #12	; 0xc
   43f94:	e0833008 	add	r3, r3, r8
   43f98:	e58d3000 	str	r3, [sp]
   43f9c:	e088918a 	add	r9, r8, sl, lsl #3
   43fa0:	e10f3000 	mrs	r3, CPSR
   43fa4:	e3c32080 	bic	r2, r3, #128	; 0x80
   43fa8:	e3822080 	orr	r2, r2, #128	; 0x80
   43fac:	e121f002 	msr	CPSR_c, r2
   43fb0:	e0874008 	add	r4, r7, r8
   43fb4:	e5943008 	ldr	r3, [r4, #8]
   43fb8:	e3530000 	cmp	r3, #0	; 0x0
   43fbc:	0a000185 	beq	44004 <switch_thread+0x14c>
   43fc0:	e59d6000 	ldr	r6, [sp]
   43fc4:	e1a00006 	mov	r0, r6
   43fc8:	ebfffffe 	bl	43a3c <corelock_lock>
   43fcc:	e5940008 	ldr	r0, [r4, #8]
   43fd0:	e7971008 	ldr	r1, [r7, r8]
   43fd4:	e3510000 	cmp	r1, #0	; 0x0
   43fd8:	15902038 	ldrne	r2, [r0, #56]
   43fdc:	1582103c 	strne	r1, [r2, #60]
   43fe0:	15913038 	ldrne	r3, [r1, #56]
   43fe4:	1583003c 	strne	r0, [r3, #60]
   43fe8:	15812038 	strne	r2, [r1, #56]
   43fec:	15803038 	strne	r3, [r0, #56]
   43ff0:	0788018a 	streq	r0, [r8, sl, lsl #3]
   43ff4:	e3a03000 	mov	r3, #0	; 0x0
   43ff8:	e5893008 	str	r3, [r9, #8]
   43ffc:	e1a00006 	mov	r0, r6
   44000:	ebfffffe 	bl	43aa8 <corelock_unlock>
   44004:	e59f312c 	ldr	r3, [pc, #300]	; 44138 <.text+0x750>
   44008:	e5933000 	ldr	r3, [r3]
   4400c:	e5992010 	ldr	r2, [r9, #16]
   44010:	e0623003 	rsb	r3, r2, r3
   44014:	e3530000 	cmp	r3, #0	; 0x0
   44018:	ab0000f4 	blge	43dc0 <check_tmo_threads>
   4401c:	e798118a 	ldr	r1, [r8, sl, lsl #3]
   44020:	e3510000 	cmp	r1, #0	; 0x0
   44024:	1a0001a4 	bne	44080 <switch_thread+0x1c8>
   44028:	e3a034cf 	mov	r3, #-822083584	; 0xcf000000
   4402c:	e2833901 	add	r3, r3, #16384	; 0x4000
   44030:	e2833054 	add	r3, r3, #84	; 0x54
   44034:	e3a00001 	mov	r0, #1	; 0x1
   44038:	e5cb0002 	strb	r0, [fp, #2]
   4403c:	e5db0001 	ldrb	r0, [fp, #1]
   44040:	e3500000 	cmp	r0, #0	; 0x0
   44044:	03a000ca 	moveq	r0, #202	; 0xca
   44048:	07c30105 	streqb	r0, [r3, r5, lsl #2]
   4404c:	e1a00000 	nop			(mov r0,r0)
   44050:	e1a00000 	nop			(mov r0,r0)
   44054:	e1a00000 	nop			(mov r0,r0)
   44058:	e3a00000 	mov	r0, #0	; 0x0
   4405c:	e5cb0001 	strb	r0, [fp, #1]
   44060:	e5cb0002 	strb	r0, [fp, #2]
   44064:	e5db0000 	ldrb	r0, [fp]
   44068:	e3500000 	cmp	r0, #0	; 0x0
   4406c:	1a00019d 	bne	44064 <switch_thread+0x1ac>
   44070:	e10f0000 	mrs	r0, CPSR
   44074:	e3c000c0 	bic	r0, r0, #192	; 0xc0
   44078:	e121f000 	msr	CPSR_c, r0
   4407c:	ea00016c 	b	43fa0 <switch_thread+0xe8>
   44080:	e10f3000 	mrs	r3, CPSR
   44084:	e3c32080 	bic	r2, r3, #128	; 0x80
   44088:	e3822000 	orr	r2, r2, #0	; 0x0
   4408c:	e121f002 	msr	CPSR_c, r2
   44090:	e59d3004 	ldr	r3, [sp, #4]