rendered paste body 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]