10 Arch_activateIdleThread 8 28 Arch_checkIRQ 8 30 Arch_configureIdleThread 8 416 Arch_createObject 8 8 4 8 58 Arch_decodeIRQControlInvocation 8 8 8 24 8 68 Arch_decodeInvocation 8 4 8 8 16 24 8 8 78 Arch_decodeTransfer 8 824 Arch_deriveCap 8 16 932 Arch_finaliseCap 16 8 100 Arch_finaliseInterrupt 118 Arch_getObjectSize 8 128 Arch_getSanitiseRegisterInfo 8 138 Arch_handleFaultReply 8 8 8 140 Arch_initContext 8 158 Arch_isCapRevocable 16 16 168 Arch_isFrameType 8 1716 Arch_maskCapRights 8 16 188 Arch_performTransfer 8 8 8 190 Arch_postCapDeletion 16 200 Arch_postModifyRegisters 8 210 Arch_prepareThreadDelete 8 228 Arch_sameObjectAs 16 16 238 Arch_sameRegionAs 16 16 248 Arch_setMRs_fault 8 8 8 8 250 Arch_setTCBIPCBuffer 8 8 260 Arch_switchToIdleThread 270 Arch_switchToThread 8 2816 Arch_updateCapData 8 8 16 298 RISCVGetReadFromVMRights 4 308 RISCVGetUserFromVMRights 4 318 RISCVGetWriteFromVMRights 4 324 StrictC'__builtin_clzl 8 334 StrictC'__builtin_ctzl 8 344 StrictC'__builtin_popcountl 8 350 StrictC'__builtin_unreachable 364 StrictC'__clzdi2 8 374 StrictC'__clzsi2 4 384 StrictC'__ctzdi2 8 394 StrictC'__ctzsi2 4 4016 Zombie_new 8 8 8 410 ackInterrupt 4 420 activateThread 430 activate_kernel_vspace 440 addToBitmap 8 8 8 458 add_avail_p_reg 16 468 addrFromPPtr 8 478 alignUp 8 8 488 alloc_region 8 498 allocate_bi_frame 8 8 8 5016 allocate_extra_bi_region 8 510 arch_c_entry_hook 520 arch_c_exit_hook 530 bi_finalise 540 bindNotification 8 8 554 bswap 4 560 c_entry_hook 570 c_exit_hook 580 c_handle_exception 590 c_handle_interrupt 600 c_handle_syscall 8 8 8 8 8 8 8 8 610 cancelAllIPC 8 620 cancelAllSignals 8 630 cancelBadgedSends 8 8 640 cancelIPC 8 650 cancelSignal 8 8 668 capCyclicZombie 16 8 678 capRemovable 16 8 680 capSwapForDelete 8 8 6924 capTransferFromWords 8 7016 cap_asid_control_cap_new 718 cap_asid_pool_cap_get_capASIDBase 16 728 cap_asid_pool_cap_get_capASIDPool 16 7316 cap_asid_pool_cap_new 8 8 744 cap_capType_equals 16 8 758 cap_cnode_cap_get_capCNodeGuard 16 768 cap_cnode_cap_get_capCNodeGuardSize 16 778 cap_cnode_cap_get_capCNodePtr 16 788 cap_cnode_cap_get_capCNodeRadix 16 7916 cap_cnode_cap_new 8 8 8 8 8016 cap_cnode_cap_set_capCNodeGuard 16 8 8116 cap_cnode_cap_set_capCNodeGuardSize 16 8 8216 cap_domain_cap_new 838 cap_endpoint_cap_get_capCanGrant 16 848 cap_endpoint_cap_get_capCanGrantReply 16 858 cap_endpoint_cap_get_capCanReceive 16 868 cap_endpoint_cap_get_capCanSend 16 878 cap_endpoint_cap_get_capEPBadge 16 888 cap_endpoint_cap_get_capEPPtr 16 8916 cap_endpoint_cap_new 8 8 8 8 8 8 9016 cap_endpoint_cap_set_capCanGrant 16 8 9116 cap_endpoint_cap_set_capCanGrantReply 16 8 9216 cap_endpoint_cap_set_capCanReceive 16 8 9316 cap_endpoint_cap_set_capCanSend 16 8 9416 cap_endpoint_cap_set_capEPBadge 16 8 958 cap_frame_cap_get_capFBasePtr 16 968 cap_frame_cap_get_capFIsDevice 16 978 cap_frame_cap_get_capFMappedASID 16 988 cap_frame_cap_get_capFMappedAddress 16 998 cap_frame_cap_get_capFSize 16 1008 cap_frame_cap_get_capFVMRights 16 10116 cap_frame_cap_new 8 8 8 8 8 8 10216 cap_frame_cap_set_capFMappedASID 16 8 10316 cap_frame_cap_set_capFMappedAddress 16 8 10416 cap_frame_cap_set_capFVMRights 16 8 1058 cap_get_archCapIsPhysical 16 1068 cap_get_archCapPtr 16 1074 cap_get_archCapSizeBits 16 1088 cap_get_capIsPhysical 16 1098 cap_get_capPtr 16 1108 cap_get_capSizeBits 16 1118 cap_get_capType 16 11216 cap_irq_control_cap_new 1138 cap_irq_handler_cap_get_capIRQ 16 11416 cap_irq_handler_cap_new 8 1158 cap_notification_cap_get_capNtfnBadge 16 1168 cap_notification_cap_get_capNtfnCanReceive 16 1178 cap_notification_cap_get_capNtfnCanSend 16 1188 cap_notification_cap_get_capNtfnPtr 16 11916 cap_notification_cap_new 8 8 8 8 12016 cap_notification_cap_set_capNtfnBadge 16 8 12116 cap_notification_cap_set_capNtfnCanReceive 16 8 12216 cap_notification_cap_set_capNtfnCanSend 16 8 12316 cap_null_cap_new 1248 cap_page_table_cap_get_capPTBasePtr 16 1258 cap_page_table_cap_get_capPTIsMapped 16 1268 cap_page_table_cap_get_capPTMappedASID 16 1278 cap_page_table_cap_get_capPTMappedAddress 16 12816 cap_page_table_cap_new 8 8 8 8 1290 cap_page_table_cap_ptr_set_capPTIsMapped 8 8 13016 cap_page_table_cap_set_capPTIsMapped 16 8 13116 cap_page_table_cap_set_capPTMappedASID 16 8 13216 cap_page_table_cap_set_capPTMappedAddress 16 8 1338 cap_reply_cap_get_capReplyCanGrant 16 1348 cap_reply_cap_get_capReplyMaster 16 1358 cap_reply_cap_get_capTCBPtr 16 13616 cap_reply_cap_new 8 8 8 1370 cap_reply_cap_ptr_new_np 8 8 8 8 13816 cap_reply_cap_set_capReplyCanGrant 16 8 1398 cap_thread_cap_get_capTCBPtr 16 14016 cap_thread_cap_new 8 1418 cap_untyped_cap_get_capBlockSize 16 1428 cap_untyped_cap_get_capFreeIndex 16 1438 cap_untyped_cap_get_capIsDevice 16 1448 cap_untyped_cap_get_capPtr 16 14516 cap_untyped_cap_new 8 8 8 8 1460 cap_untyped_cap_ptr_set_capFreeIndex 8 8 14716 cap_untyped_cap_set_capFreeIndex 16 8 1488 cap_zombie_cap_get_capZombieBits 16 1498 cap_zombie_cap_get_capZombieID 16 1508 cap_zombie_cap_get_capZombieNumber 16 1518 cap_zombie_cap_get_capZombiePtr 16 1528 cap_zombie_cap_get_capZombieType 16 15316 cap_zombie_cap_new 8 8 15416 cap_zombie_cap_set_capZombieID 16 8 15516 cap_zombie_cap_set_capZombieNumber 16 8 1568 char_to_long 1 1578 checkPrio 8 8 1588 checkVPAlignment 4 8 1598 checkValidIPCBuffer 8 16 1600 chooseThread 1610 clearMemory 8 4 1620 clear_sie_mask 8 1630 clear_sip_mask 8 1648 clzl 8 1650 completeSignal 8 8 1660 configureIdleThread 8 1670 copyGlobalMappings 8 1688 copyMRs 8 8 8 8 8 1690 copyMRsFault 8 8 4 8 8 1700 copyMRsFaultReply 8 8 4 8 1710 createNewObjects 8 8 24 8 8 8 17216 createObject 8 8 8 8 1730 create_bi_frame_cap 16 16 8 8 1740 create_domain_cap 16 17524 create_frames_of_region 16 16 16 8 8 1768 create_idle_thread 1778 create_initial_thread 16 16 8 8 8 16 17816 create_ipcbuf_frame 16 16 8 1798 create_irq_cnode 18016 create_it_address_space 16 16 18116 create_it_asid_pool 16 18216 create_it_pd_pts 16 16 8 8 18316 create_it_pt_cap 16 8 8 8 1848 create_kernel_untypeds 16 16 8 18516 create_mapped_it_frame_cap 16 8 8 8 8 8 18616 create_root_cnode 18716 create_unmapped_it_frame_cap 8 8 1888 create_untypeds 16 16 1898 create_untypeds_for_region 16 8 16 8 1908 cteDelete 8 8 1910 cteDeleteOne 8 1920 cteInsert 16 8 8 1930 cteMove 16 8 8 1948 cteRevoke 8 1950 cteSwap 16 8 16 8 1968 ctzl 8 1978 decodeBindNotification 16 24 1988 decodeCNodeInvocation 8 8 16 24 8 1998 decodeCopyRegisters 16 8 24 8 2008 decodeDomainInvocation 8 8 24 8 2018 decodeIRQControlInvocation 8 8 8 24 8 2028 decodeIRQHandlerInvocation 8 4 24 2038 decodeInvocation 8 8 8 8 16 24 8 8 8 2048 decodeRISCVFrameInvocation 8 4 8 16 24 8 2058 decodeRISCVMMUInvocation 8 4 8 8 16 24 8 2068 decodeRISCVPageTableInvocation 8 4 8 16 24 8 2078 decodeReadRegisters 16 8 8 8 2088 decodeSetIPCBuffer 16 8 8 24 8 2098 decodeSetMCPriority 16 8 24 8 2108 decodeSetPriority 16 8 24 8 2118 decodeSetSchedParams 16 8 24 8 2128 decodeSetSpace 16 8 8 24 8 2138 decodeSetTLSBase 16 8 8 2148 decodeTCBConfigure 16 8 8 24 8 2158 decodeTCBInvocation 8 8 16 8 24 8 8 2168 decodeUnbindNotification 16 2178 decodeUntypedInvocation 8 8 8 16 24 8 8 2188 decodeWriteRegisters 16 8 8 2190 deleteASID 8 8 2200 deleteASIDPool 8 8 2210 deleteCallerCap 8 2220 deletedIRQHandler 4 2230 deletingIRQHandler 4 22424 deriveCap 8 16 2250 doFaultTransfer 8 8 8 8 2260 doIPCTransfer 8 8 8 8 8 2270 doNBRecvFailedTransfer 8 2280 doNormalTransfer 8 8 8 8 8 8 8 2290 doReplyTransfer 8 8 8 8 2300 doUnbindNotification 8 8 2310 emptySlot 8 16 2328 endpoint_ptr_get_epQueue_head 8 2338 endpoint_ptr_get_epQueue_tail 8 2348 endpoint_ptr_get_state 8 2350 endpoint_ptr_mset_epQueue_tail_state 8 8 8 2360 endpoint_ptr_set_epQueue_head 8 8 2370 endpoint_ptr_set_epQueue_head_np 8 8 2380 endpoint_ptr_set_epQueue_tail 8 8 2390 endpoint_ptr_set_state 8 8 2408 ensureEmptySlot 8 2418 ensureNoChildren 8 24216 ep_ptr_get_queue 8 2430 ep_ptr_set_queue 8 16 2440 fastpath_call 8 8 2450 fastpath_copy_mrs 8 8 8 2464 fastpath_mi_check 8 2474 fastpath_reply_cap_check 16 2480 fastpath_reply_recv 8 8 2490 fastpath_restore 8 8 8 2508 fdt_get_address 8 8 8 2518 fdt_get_size 8 8 8 2528 fdt_scan_helper 8 8 8 8 2534 fdt_size 8 25432 finaliseCap 16 8 8 25532 finaliseSlot 8 8 25616 findVSpaceForASID 8 2574 getActiveIRQ 2588 getExtraCPtr 8 8 2598 getHighestPrio 8 2608 getObjectSize 8 8 2618 getPPtrFromHWPTE 8 2628 getReceiveSlots 8 8 2638 getRegister 8 8 2648 getRestartPC 8 2658 getSyscallArg 8 8 26616 get_avail_p_reg 4 2678 get_cycles 2684 get_num_avail_p_regs 2690 halt 2700 handleDoubleFault 8 16 2710 handleFault 8 2728 handleFaultReply 8 8 2730 handleInterrupt 4 2748 handleInterruptEntry 2758 handleInvocation 8 8 2760 handleRecv 8 2770 handleReply 2780 handleReservedIRQ 4 2790 handleSpuriousIRQ 2808 handleSyscall 8 2818 handleUnknownSyscall 8 2828 handleUserLevelFault 8 8 2838 handleVMFault 8 4 2848 handleVMFaultEvent 4 2850 handleYield 2860 handle_exception 2878 hasCancelSendRights 16 2880 hwASIDFlush 8 2890 idle_thread 2900 initIRQController 2910 initL2Cache 2920 initTimer 2930 init_core_state 8 2940 init_cpu 2950 init_freemem 16 16 2960 init_irqs 16 2970 init_kernel 8 8 8 8 8 8 2980 init_plat 16 2990 insertNewCap 8 8 16 3008 insert_region 16 30116 insert_region_excluded 16 16 3028 invert_l1index 8 3038 invokeCNodeCancelBadgedSends 16 3048 invokeCNodeDelete 8 3058 invokeCNodeInsert 16 8 8 3068 invokeCNodeMove 16 8 8 3078 invokeCNodeRevoke 8 3088 invokeCNodeRotate 16 16 8 8 8 3098 invokeCNodeSaveCaller 8 3108 invokeIRQControl 4 8 8 3110 invokeIRQHandler_AckIRQ 4 3120 invokeIRQHandler_ClearIRQHandler 4 3130 invokeIRQHandler_SetIRQHandler 4 16 8 3148 invokeSetTLSBase 8 8 3158 invokeTCB_CopyRegisters 8 8 8 8 8 8 8 3168 invokeTCB_NotificationControl 8 8 3178 invokeTCB_ReadRegisters 8 8 8 8 8 3188 invokeTCB_Resume 8 3198 invokeTCB_Suspend 8 3208 invokeTCB_ThreadControl 8 8 8 8 8 16 8 16 8 8 16 8 8 3218 invokeTCB_WriteRegisters 8 8 8 8 8 3228 invokeUntyped_Retype 8 8 8 8 8 24 8 3238 isArchCap 16 3248 isBlocked 8 3258 isCapRevocable 16 16 3268 isFinalCapability 8 3278 isHighestPrio 8 8 3288 isIRQActive 4 3298 isIRQPending 3308 isMDBParentOf 8 8 3318 isPTEPageTable 8 3328 isReservedIRQ 4 3338 isRunnable 8 3348 isValidVTableRoot 16 3358 isValidVTableRoot_fp 16 3368 is_reg_empty 16 3378 kpptr_to_paddr 8 3388 l1index_to_prio 8 33924 loadCapTransfer 8 34024 lookupCap 8 8 34132 lookupCapAndSlot 8 8 3428 lookupExtraCaps 8 8 8 3438 lookupIPCBuffer 8 8 34416 lookupPTSlot 8 8 34516 lookupPivotSlot 16 8 8 34616 lookupSlot 8 8 34716 lookupSlotForCNodeOp 8 16 8 8 34816 lookupSourceSlot 16 8 8 34916 lookupTargetSlot 16 8 8 3508 lookup_fault_depth_mismatch_get_bitsFound 16 3518 lookup_fault_depth_mismatch_get_bitsLeft 16 35216 lookup_fault_depth_mismatch_new 8 8 3538 lookup_fault_get_lufType 16 3548 lookup_fault_guard_mismatch_get_bitsFound 16 3558 lookup_fault_guard_mismatch_get_bitsLeft 16 3568 lookup_fault_guard_mismatch_get_guardFound 16 35716 lookup_fault_guard_mismatch_new 8 8 8 35816 lookup_fault_invalid_root_new 3598 lookup_fault_missing_capability_get_bitsLeft 16 36016 lookup_fault_missing_capability_new 8 36116 lookup_fp 16 8 3628 makeUserPTE 8 8 4 3630 map_it_frame_cap 16 16 3640 map_it_pt_cap 16 16 3650 map_kernel_devices 3660 map_kernel_frame 8 8 4 3670 map_kernel_window 36816 maskCapRights 8 16 3690 maskInterrupt 8 4 3704 maskVMRights 4 8 3718 mdb_node_get_mdbFirstBadged 16 3728 mdb_node_get_mdbNext 16 3738 mdb_node_get_mdbPrev 16 3748 mdb_node_get_mdbRevocable 16 37516 mdb_node_new 8 8 8 8 3760 mdb_node_ptr_mset_mdbNext_mdbRevocable_mdbFirstBadged 8 8 8 8 3770 mdb_node_ptr_set_mdbFirstBadged 8 8 3780 mdb_node_ptr_set_mdbNext 8 8 3790 mdb_node_ptr_set_mdbPrev 8 8 3800 mdb_node_ptr_set_mdbPrev_np 8 8 3810 mdb_node_ptr_set_mdbRevocable 8 8 38216 mdb_node_set_mdbFirstBadged 16 8 38316 mdb_node_set_mdbPrev 16 8 38416 mdb_node_set_mdbRevocable 16 8 3858 memcpy 8 8 8 3868 memset 8 8 8 3870 memzero 8 8 3888 messageInfoFromWord 8 3898 messageInfoFromWord_raw 8 3900 nextDomain 3918 notification_ptr_get_ntfnBoundTCB 8 3928 notification_ptr_get_ntfnMsgIdentifier 8 3938 notification_ptr_get_ntfnQueue_head 8 3948 notification_ptr_get_ntfnQueue_tail 8 3958 notification_ptr_get_state 8 3960 notification_ptr_set_ntfnBoundTCB 8 8 3970 notification_ptr_set_ntfnMsgIdentifier 8 8 3980 notification_ptr_set_ntfnQueue_head 8 8 3990 notification_ptr_set_ntfnQueue_tail 8 8 4000 notification_ptr_set_state 8 8 40116 ntfn_ptr_get_queue 8 4020 ntfn_ptr_set_queue 8 16 4030 ntfn_set_active 8 8 4048 paddr_to_kpptr 8 40516 paddr_to_pptr_reg 16 4064 pageBitsForSize 4 4070 parseFDT 8 4088 performASIDControlInvocation 8 8 8 8 4098 performASIDPoolInvocation 8 8 8 4108 performInvocation_Endpoint 8 8 8 8 8 8 4118 performInvocation_Notification 8 8 4128 performInvocation_Reply 8 8 8 4138 performPageGetAddress 8 4148 performPageInvocationMapPTE 16 8 8 8 4158 performPageInvocationRemapPTE 8 8 4168 performPageInvocationUnmap 16 8 4178 performPageTableInvocationMap 16 8 8 8 4188 performPageTableInvocationUnmap 16 8 4190 plat_cleanInvalidateL2Range 8 8 4200 plat_cleanL2Range 8 8 4210 plat_invalidateL2Range 8 8 4228 popcountl 8 4230 possibleSwitchTo 8 4240 postCapDeletion 16 42516 pptr_to_paddr_reg 16 4268 preemptionPoint 4270 print_format_cause 4 4288 prio_to_l1index 8 4298 provide_cap 16 16 4308 provide_untyped_cap 16 8 8 8 8 4318 pte_new 8 8 8 8 8 8 8 8 8 8 4328 pte_next 8 8 4338 pte_pte_invalid_new 4348 pte_ptr_get_execute 8 4358 pte_ptr_get_ppn 8 4368 pte_ptr_get_read 8 4378 pte_ptr_get_valid 8 4388 pte_ptr_get_write 8 4398 ptrFromPAddr 8 4404 read_current_timer 8 4418 read_sbadaddr 4428 read_scause 4438 read_sepc 4448 read_sstatus 4458 ready_queues_index 8 8 4460 receiveIPC 8 16 8 4470 receiveSignal 8 16 8 4488 reduceZombie 8 8 4498 reg_size 16 4500 removeFromBitmap 8 8 8 4510 replyFromKernel_error 8 4520 replyFromKernel_success_empty 8 4530 rescheduleRequired 4540 resetTimer 4558 resetUntypedCap 8 45624 resolveAddressBits 16 8 8 4570 restart 8 4580 restore_user_context 4598 rightsFromWord 8 4608 sameObjectAs 16 16 4618 sameRegionAs 16 16 4628 sanitiseRegister 8 8 8 4638 satp_new 8 8 8 4648 sbi_call 8 8 8 8 4650 sbi_clear_ipi 4664 sbi_console_getchar 4670 sbi_console_putchar 4 4680 sbi_remote_fence_i 8 4690 sbi_remote_sfence_vma 8 8 8 4700 sbi_remote_sfence_vma_asid 8 8 8 8 4710 sbi_send_ipi 8 4720 sbi_set_timer 8 4730 sbi_shutdown 4740 schedule 4750 scheduleChooseNewThread 4760 scheduleTCB 8 4778 seL4_CNode_CapData_get_guard 8 4788 seL4_CNode_CapData_get_guardSize 8 4798 seL4_CapRights_get_capAllowGrant 8 4808 seL4_CapRights_get_capAllowGrantReply 8 4818 seL4_CapRights_get_capAllowRead 8 4828 seL4_CapRights_get_capAllowWrite 8 4838 seL4_Fault_CapFault_get_address 16 4848 seL4_Fault_CapFault_get_inReceivePhase 16 48516 seL4_Fault_CapFault_new 8 8 48616 seL4_Fault_NullFault_new 4878 seL4_Fault_UnknownSyscall_get_syscallNumber 16 48816 seL4_Fault_UnknownSyscall_new 8 4898 seL4_Fault_UserException_get_code 16 4908 seL4_Fault_UserException_get_number 16 49116 seL4_Fault_UserException_new 8 8 4928 seL4_Fault_VMFault_get_FSR 16 4938 seL4_Fault_VMFault_get_address 16 4948 seL4_Fault_VMFault_get_instructionFault 16 49516 seL4_Fault_VMFault_new 8 8 8 4968 seL4_Fault_get_seL4_FaultType 16 4978 seL4_MessageInfo_get_capsUnwrapped 8 4988 seL4_MessageInfo_get_extraCaps 8 4998 seL4_MessageInfo_get_label 8 5008 seL4_MessageInfo_get_length 8 5018 seL4_MessageInfo_new 8 8 8 8 5028 seL4_MessageInfo_set_capsUnwrapped 8 8 5038 seL4_MessageInfo_set_extraCaps 8 8 5048 seL4_MessageInfo_set_length 8 8 5058 sendFaultIPC 8 5060 sendIPC 8 8 8 8 8 8 8 5070 sendSignal 8 8 5080 setDomain 8 8 5090 setExtraBadge 8 8 8 5100 setIRQState 8 4 5110 setInterruptMode 4 8 8 5120 setMCPriority 8 8 5134 setMR 8 8 4 8 5148 setMRs_fault 8 8 8 5154 setMRs_lookup_failure 8 8 16 4 5168 setMRs_syscall_error 8 8 5170 setNextPC 8 8 5180 setPriority 8 8 5190 setRegister 8 8 8 5200 setThreadState 8 8 5210 setUntypedCapAsFull 16 16 8 5220 setVMRoot 8 5230 setVSpaceRoot 8 8 5240 set_sie_mask 8 5250 setupCallerCap 8 8 8 5260 setupReplyMaster 8 5270 sfence 5288 slotCapLongRunningDelete 8 5290 slowpath 8 5308 str_to_long 8 5318 strlcat 8 8 8 5328 strlcpy 8 8 8 5334 strncmp 8 8 4 5348 strnlen 8 8 5350 suspend 8 5360 switchToIdleThread 5370 switchToThread 8 5380 switchToThread_fp 8 8 8 53916 tcbEPAppend 8 16 54016 tcbEPDequeue 8 16 5410 tcbSchedAppend 8 5420 tcbSchedDequeue 8 5430 tcbSchedEnqueue 8 5448 thread_state_get_tcbQueued 24 5458 thread_state_get_tsType 24 5468 thread_state_ptr_get_blockingIPCBadge 8 5478 thread_state_ptr_get_blockingIPCCanGrant 8 5488 thread_state_ptr_get_blockingIPCCanGrantReply 8 5498 thread_state_ptr_get_blockingIPCIsCall 8 5508 thread_state_ptr_get_blockingObject 8 5518 thread_state_ptr_get_tsType 8 5520 thread_state_ptr_mset_blockingObject_tsType 8 8 8 5530 thread_state_ptr_set_blockingIPCBadge 8 8 5540 thread_state_ptr_set_blockingIPCCanGrant 8 8 5550 thread_state_ptr_set_blockingIPCCanGrantReply 8 8 5560 thread_state_ptr_set_blockingIPCIsCall 8 8 5570 thread_state_ptr_set_blockingObject 8 8 5580 thread_state_ptr_set_tcbQueued 8 8 5590 thread_state_ptr_set_tsType 8 8 5600 thread_state_ptr_set_tsType_np 8 8 5610 timerTick 5628 transferCaps 8 24 8 8 8 5638 try_init_kernel 8 8 8 8 4 8 5640 unbindMaybeNotification 8 5650 unbindNotification 8 5660 unmapPage 4 8 8 8 5670 unmapPageTable 8 8 8 56816 updateCapData 8 8 16 5698 updatePTE 8 8 5708 vmAttributesFromWord 8 5714 vmRightsFromWord 8 5728 vm_attributes_get_riscvExecuteNever 8 5738 wordFromMessageInfo 8 5748 wordFromRights 8 5758 wordFromVMRights 4 5760 write_it_asid_pool 16 16 5770 write_it_pd_pts 16 16 5780 write_slot 8 16 5790 write_sptbr 8 5800 write_stvec 8 581