14 APFromVMRights 4 20 Arch_activateIdleThread 4 34 Arch_checkIRQ 4 40 Arch_configureIdleThread 4 58 Arch_createObject 4 4 4 4 64 Arch_decodeIRQControlInvocation 4 4 4 12 4 74 Arch_decodeInvocation 4 4 4 4 8 12 4 4 84 Arch_decodeTransfer 4 912 Arch_deriveCap 4 8 1016 Arch_finaliseCap 8 4 110 Arch_finaliseInterrupt 124 Arch_getObjectSize 4 134 Arch_getSanitiseRegisterInfo 4 144 Arch_handleFaultReply 4 4 4 154 Arch_hasRecycleRights 8 160 Arch_initContext 4 174 Arch_invokeIRQControl 2 4 4 4 184 Arch_isCapRevocable 8 8 194 Arch_isFrameType 4 208 Arch_maskCapRights 4 8 214 Arch_performTransfer 4 4 4 220 Arch_postCapDeletion 8 230 Arch_postModifyRegisters 4 240 Arch_prepareThreadDelete 4 254 Arch_sameObjectAs 8 8 264 Arch_sameRegionAs 8 8 274 Arch_setMRs_fault 4 4 4 4 280 Arch_setTCBIPCBuffer 4 4 290 Arch_switchToIdleThread 300 Arch_switchToThread 4 318 Arch_updateCapData 4 4 8 320 L2_cacheSync 334 StrictC'__builtin_clzl 4 344 StrictC'__builtin_ctzl 4 354 StrictC'__builtin_popcountl 4 360 StrictC'__builtin_unreachable 370 VGICMaintenance 388 Zombie_new 4 4 4 390 ackInterrupt 2 400 activateThread 410 activate_global_pd 420 addToBitmap 4 4 4 434 addrFromPPtr 4 444 addressTranslateS1CPR 4 454 alignUp 4 4 464 alloc_region 4 474 allocate_bi_frame 4 4 4 488 allocate_extra_bi_region 4 490 arch_c_entry_hook 500 arch_c_exit_hook 510 arch_clean_invalidate_caches 520 arm_errata 530 armv_contextSwitch 4 4 540 armv_contextSwitch_HWASID 4 1 550 armv_init_user_access 560 bi_finalise 570 bindNotification 4 4 580 branchFlush 4 4 590 branchFlushRange 4 4 4 600 c_entry_hook 610 c_exit_hook 620 c_handle_data_fault 630 c_handle_instruction_fault 640 c_handle_interrupt 650 c_handle_syscall 4 4 4 660 c_handle_undefined_instruction 670 c_handle_vm_fault 4 680 cancelAllIPC 4 690 cancelAllSignals 4 700 cancelBadgedSends 4 4 710 cancelIPC 4 720 cancelSignal 4 4 734 capCyclicZombie 8 4 744 capRemovable 8 4 750 capSwapForDelete 4 4 7612 capTransferFromWords 4 778 cap_asid_control_cap_new 784 cap_asid_pool_cap_get_capASIDBase 8 794 cap_asid_pool_cap_get_capASIDPool 8 808 cap_asid_pool_cap_new 4 4 814 cap_capType_equals 8 4 824 cap_cnode_cap_get_capCNodeGuard 8 834 cap_cnode_cap_get_capCNodeGuardSize 8 844 cap_cnode_cap_get_capCNodePtr 8 854 cap_cnode_cap_get_capCNodeRadix 8 868 cap_cnode_cap_new 4 4 4 4 878 cap_cnode_cap_set_capCNodeGuard 8 4 888 cap_cnode_cap_set_capCNodeGuardSize 8 4 898 cap_domain_cap_new 904 cap_endpoint_cap_get_capCanGrant 8 914 cap_endpoint_cap_get_capCanGrantReply 8 924 cap_endpoint_cap_get_capCanReceive 8 934 cap_endpoint_cap_get_capCanSend 8 944 cap_endpoint_cap_get_capEPBadge 8 954 cap_endpoint_cap_get_capEPPtr 8 968 cap_endpoint_cap_new 4 4 4 4 4 4 978 cap_endpoint_cap_set_capCanGrant 8 4 988 cap_endpoint_cap_set_capCanGrantReply 8 4 998 cap_endpoint_cap_set_capCanReceive 8 4 1008 cap_endpoint_cap_set_capCanSend 8 4 1018 cap_endpoint_cap_set_capEPBadge 8 4 1024 cap_frame_cap_get_capFBasePtr 8 1034 cap_frame_cap_get_capFIsDevice 8 1044 cap_frame_cap_get_capFMappedASID 8 1054 cap_frame_cap_get_capFMappedASIDHigh 8 1064 cap_frame_cap_get_capFMappedASIDLow 8 1074 cap_frame_cap_get_capFMappedAddress 8 1084 cap_frame_cap_get_capFSize 8 1094 cap_frame_cap_get_capFVMRights 8 1108 cap_frame_cap_new 4 4 4 4 4 4 4 1118 cap_frame_cap_set_capFMappedASID 8 4 1128 cap_frame_cap_set_capFMappedASIDHigh 8 4 1138 cap_frame_cap_set_capFMappedASIDLow 8 4 1148 cap_frame_cap_set_capFMappedAddress 8 4 1158 cap_frame_cap_set_capFVMRights 8 4 1164 cap_get_archCapIsPhysical 8 1174 cap_get_archCapPtr 8 1184 cap_get_archCapSizeBits 8 1194 cap_get_capIsPhysical 8 1204 cap_get_capPtr 8 1214 cap_get_capSizeBits 8 1224 cap_get_capType 8 1238 cap_irq_control_cap_new 1244 cap_irq_handler_cap_get_capIRQ 8 1258 cap_irq_handler_cap_new 4 1264 cap_notification_cap_get_capNtfnBadge 8 1274 cap_notification_cap_get_capNtfnCanReceive 8 1284 cap_notification_cap_get_capNtfnCanSend 8 1294 cap_notification_cap_get_capNtfnPtr 8 1308 cap_notification_cap_new 4 4 4 4 1318 cap_notification_cap_set_capNtfnBadge 8 4 1328 cap_notification_cap_set_capNtfnCanReceive 8 4 1338 cap_notification_cap_set_capNtfnCanSend 8 4 1348 cap_null_cap_new 1354 cap_page_directory_cap_get_capPDBasePtr 8 1364 cap_page_directory_cap_get_capPDIsMapped 8 1374 cap_page_directory_cap_get_capPDMappedASID 8 1388 cap_page_directory_cap_new 4 4 4 1390 cap_page_directory_cap_ptr_set_capPDIsMapped 4 4 1400 cap_page_directory_cap_ptr_set_capPDMappedASID 4 4 1414 cap_page_table_cap_get_capPTBasePtr 8 1424 cap_page_table_cap_get_capPTIsMapped 8 1434 cap_page_table_cap_get_capPTMappedASID 8 1444 cap_page_table_cap_get_capPTMappedAddress 8 1458 cap_page_table_cap_new 4 4 4 4 1460 cap_page_table_cap_ptr_set_capPTIsMapped 4 4 1478 cap_page_table_cap_set_capPTIsMapped 8 4 1488 cap_page_table_cap_set_capPTMappedASID 8 4 1498 cap_page_table_cap_set_capPTMappedAddress 8 4 1504 cap_reply_cap_get_capReplyCanGrant 8 1514 cap_reply_cap_get_capReplyMaster 8 1524 cap_reply_cap_get_capTCBPtr 8 1538 cap_reply_cap_new 4 4 4 1540 cap_reply_cap_ptr_new_np 4 4 4 4 1558 cap_reply_cap_set_capReplyCanGrant 8 4 1564 cap_small_frame_cap_get_capFBasePtr 8 1574 cap_small_frame_cap_get_capFIsDevice 8 1584 cap_small_frame_cap_get_capFMappedASID 8 1594 cap_small_frame_cap_get_capFMappedASIDHigh 8 1604 cap_small_frame_cap_get_capFMappedASIDLow 8 1614 cap_small_frame_cap_get_capFMappedAddress 8 1624 cap_small_frame_cap_get_capFVMRights 8 1638 cap_small_frame_cap_new 4 4 4 4 4 4 1648 cap_small_frame_cap_set_capFMappedASID 8 4 1658 cap_small_frame_cap_set_capFMappedASIDHigh 8 4 1668 cap_small_frame_cap_set_capFMappedASIDLow 8 4 1678 cap_small_frame_cap_set_capFMappedAddress 8 4 1688 cap_small_frame_cap_set_capFVMRights 8 4 1694 cap_thread_cap_get_capTCBPtr 8 1708 cap_thread_cap_new 4 1714 cap_untyped_cap_get_capBlockSize 8 1724 cap_untyped_cap_get_capFreeIndex 8 1734 cap_untyped_cap_get_capIsDevice 8 1744 cap_untyped_cap_get_capPtr 8 1758 cap_untyped_cap_new 4 4 4 4 1760 cap_untyped_cap_ptr_set_capFreeIndex 4 4 1778 cap_untyped_cap_set_capFreeIndex 8 4 1784 cap_zombie_cap_get_capZombieBits 8 1794 cap_zombie_cap_get_capZombieID 8 1804 cap_zombie_cap_get_capZombieNumber 8 1814 cap_zombie_cap_get_capZombiePtr 8 1824 cap_zombie_cap_get_capZombieType 8 1838 cap_zombie_cap_new 4 4 1848 cap_zombie_cap_set_capZombieID 8 4 1858 cap_zombie_cap_set_capZombieNumber 8 4 1864 char_to_long 1 1874 checkPrio 4 4 1884 checkVPAlignment 4 4 1894 checkValidIPCBuffer 4 8 1900 check_export_arch_timer 1910 check_export_pmu 1920 chooseThread 1930 cleanByVA 4 4 1940 cleanByVA_PoU 4 4 1950 cleanByWSL 4 1960 cleanCacheRange_PoC 4 4 4 1970 cleanCacheRange_PoU 4 4 4 1980 cleanCacheRange_RAM 4 4 4 1990 cleanCaches_PoU 2000 cleanInvalByVA 4 4 2010 cleanInvalidateByWSL 4 2020 cleanInvalidateCacheRange_RAM 4 4 4 2030 cleanInvalidateL1Caches 2040 cleanInvalidate_D_PoC 2050 clean_D_PoU 2060 clearEnFPEXC 2070 clearExMonitor 2080 clearExMonitor_fp 2090 clearIOPageDirectory 8 2100 clearMemory 4 4 2110 clearMemoryRAM 4 4 2124 clzl 4 2130 completeSignal 4 4 2140 configureIdleThread 4 2150 copyGlobalMappings 4 2164 copyMRs 4 4 4 4 4 2170 copyMRsFault 4 4 4 4 4 2180 copyMRsFaultReply 4 4 4 4 2190 cpu_iface_init 2200 cpu_initLocalIRQController 2210 createNewObjects 4 4 12 4 4 4 2228 createObject 4 4 4 4 22316 createSafeMappingEntries_PDE 4 4 4 4 4 4 22416 createSafeMappingEntries_PTE 4 4 4 4 4 4 2250 create_bi_frame_cap 8 8 4 4 2264 create_device_frames 8 2270 create_domain_cap 8 22812 create_frames_of_region 8 8 8 4 4 2294 create_idle_thread 2304 create_initial_thread 8 8 4 4 4 8 2318 create_iospace_caps 8 2328 create_ipcbuf_frame 8 8 4 2334 create_irq_cnode 2348 create_it_address_space 8 8 2358 create_it_asid_pool 8 2368 create_it_frame_cap 4 4 4 4 2378 create_it_page_table_cap 8 4 4 4 2388 create_it_pd_pts 8 8 4 4 2394 create_kernel_untypeds 8 8 4 2408 create_mapped_it_frame_cap 8 4 4 4 4 4 2418 create_root_cnode 2428 create_unmapped_it_frame_cap 4 4 2434 create_untypeds 8 8 2444 create_untypeds_for_region 8 4 8 4 2454 cteDelete 4 4 2460 cteDeleteOne 4 2470 cteInsert 8 4 4 2480 cteMove 8 4 4 2494 cteRevoke 4 2500 cteSwap 8 4 8 4 2514 ctzl 4 2524 decodeARMFrameInvocation 4 4 4 8 12 4 2534 decodeARMIOMapInvocation 4 4 4 8 12 4 2544 decodeARMIOPTInvocation 4 4 4 8 12 4 2554 decodeARMIOSpaceInvocation 4 8 2564 decodeARMMMUInvocation 4 4 4 4 8 12 4 2574 decodeARMPageDirectoryInvocation 4 4 4 4 8 12 4 2584 decodeARMPageTableInvocation 4 4 4 8 12 4 2594 decodeBindNotification 8 12 2604 decodeCNodeInvocation 4 4 8 12 4 2614 decodeCopyRegisters 8 4 12 4 2624 decodeDomainInvocation 4 4 12 4 2634 decodeIRQControlInvocation 4 4 4 12 4 2644 decodeIRQHandlerInvocation 4 2 12 2654 decodeInvocation 4 4 4 4 8 12 4 4 4 2664 decodeReadRegisters 8 4 4 4 2674 decodeSetIPCBuffer 8 4 4 12 4 2684 decodeSetMCPriority 8 4 12 4 2694 decodeSetPriority 8 4 12 4 2704 decodeSetSchedParams 8 4 12 4 2714 decodeSetSpace 8 4 4 12 4 2724 decodeSetTLSBase 8 4 4 2734 decodeTCBConfigure 8 4 4 12 4 2744 decodeTCBInvocation 4 4 8 4 12 4 4 2754 decodeUnbindNotification 8 2764 decodeUntypedInvocation 4 4 4 8 12 4 4 2774 decodeWriteRegisters 8 4 4 2780 deleteASID 4 4 2790 deleteASIDPool 4 4 2800 deleteCallerCap 4 2810 deleteIOPageTable 8 2820 deletedIRQHandler 2 2830 deletingIRQHandler 2 28412 deriveCap 4 8 2850 disableFpu 2860 dist_enable_clr 2 2870 dist_enable_set 2 2880 dist_init 2890 dist_pending_clr 2 2900 dmb 2910 doFaultTransfer 4 4 4 4 2920 doFlush 4 4 4 4 2930 doIPCTransfer 4 4 4 4 4 2940 doNBRecvFailedTransfer 4 2950 doNormalTransfer 4 4 4 4 4 4 4 2960 doReplyTransfer 4 4 4 4 2970 doUnbindNotification 4 4 2980 dsb 2990 emptySlot 4 8 3000 enableFpuInstInHyp 3014 endpoint_ptr_get_epQueue_head 4 3024 endpoint_ptr_get_epQueue_tail 4 3034 endpoint_ptr_get_state 4 3040 endpoint_ptr_mset_epQueue_tail_state 4 4 4 3050 endpoint_ptr_set_epQueue_head 4 4 3060 endpoint_ptr_set_epQueue_head_np 4 4 3070 endpoint_ptr_set_epQueue_tail 4 4 3080 endpoint_ptr_set_state 4 4 3094 ensureEmptySlot 4 3104 ensureNoChildren 4 3118 ep_ptr_get_queue 4 3120 ep_ptr_set_queue 4 8 3130 fastpath_call 4 4 3140 fastpath_copy_mrs 4 4 4 3154 fastpath_mi_check 4 3164 fastpath_reply_cap_check 8 3170 fastpath_reply_recv 4 4 3180 fastpath_restore 4 4 4 31916 finaliseCap 8 4 4 32016 finaliseSlot 4 4 3211 findFreeHWASID 3228 findPDForASID 4 3230 flushBTAC 3240 flushPage 4 4 4 4 3250 flushSpace 4 3260 flushTable 4 4 4 4 3274 fpsimd_HWCapTest 3284 fpsimd_init 3294 generic_frame_cap_get_capFBasePtr 8 3304 generic_frame_cap_get_capFIsDevice 8 3314 generic_frame_cap_get_capFIsMapped 8 3324 generic_frame_cap_get_capFMappedASID 8 3334 generic_frame_cap_get_capFMappedAddress 8 3344 generic_frame_cap_get_capFSize 8 3354 generic_frame_cap_get_capFVMRights 8 3360 generic_frame_cap_ptr_set_capFMappedAddress 4 4 4 3378 generic_frame_cap_set_capFMappedAddress 8 4 4 3384 getACTLR 3394 getADFSR 3404 getAIFSR 3412 getActiveIRQ 3424 getCIDR 3434 getDFAR 3444 getDFSR 3454 getExtraCPtr 4 4 3464 getFAR 3474 getHTPIDR 3481 getHWASID 4 3494 getHighestPrio 4 3504 getIFAR 3514 getIFSR 3524 getKernelStack 3534 getNMRR 3544 getObjectSize 4 4 3554 getPRRR 3564 getProcessorID 3574 getReceiveSlots 4 4 3584 getRegister 4 4 3594 getRestartPC 4 3604 getSyscallArg 4 4 3618 get_avail_p_reg 4 3628 get_dev_p_reg 4 3634 get_num_avail_p_regs 3644 get_num_dev_p_regs 3654 get_num_reserved_region 3668 get_reserved_region 4 4 3670 halt 3680 handleDoubleFault 4 8 3690 handleFault 4 3704 handleFaultReply 4 4 3710 handleInterrupt 2 3724 handleInterruptEntry 3734 handleInvocation 4 4 3740 handleRecv 4 3750 handleReply 3760 handleReservedIRQ 2 3770 handleSpuriousIRQ 3784 handleSyscall 4 3794 handleUnknownSyscall 4 3804 handleUserLevelFault 4 4 3814 handleVMFault 4 4 3824 handleVMFaultEvent 4 3830 handleYield 3844 hasCancelSendRights 8 3850 idle_thread 3861 infer_cpu_gic_id 4 3870 initIRQController 3880 initL2Cache 3890 initTimer 3900 init_core_state 4 3914 init_cpu 3920 init_freemem 8 3930 init_irqs 8 3940 init_kernel 4 4 4 4 3950 init_plat 3960 insertNewCap 4 4 8 3974 insert_region 8 3988 insert_region_excluded 8 8 3990 invalidateASID 4 4000 invalidateASIDEntry 4 4010 invalidateByVA 4 4 4020 invalidateByVA_I 4 4 4030 invalidateCacheRange_I 4 4 4 4040 invalidateCacheRange_RAM 4 4 4 4050 invalidateHypTLB 4060 invalidateLocalTLB 4070 invalidateLocalTLB_ASID 1 4080 invalidateLocalTLB_VAASID 4 4090 invalidateTLBByASID 4 4100 invalidateTranslationASID 1 4110 invalidateTranslationASIDLocal 1 4120 invalidateTranslationAll 4130 invalidateTranslationAllLocal 4140 invalidateTranslationSingle 4 4150 invalidateTranslationSingleLocal 4 4160 invalidate_I_PoU 4174 invert_l1index 4 4184 invokeCNodeCancelBadgedSends 8 4194 invokeCNodeDelete 4 4204 invokeCNodeInsert 8 4 4 4214 invokeCNodeMove 8 4 4 4224 invokeCNodeRevoke 4 4234 invokeCNodeRotate 8 8 4 4 4 4244 invokeCNodeSaveCaller 4 4254 invokeIRQControl 2 4 4 4260 invokeIRQHandler_AckIRQ 2 4270 invokeIRQHandler_ClearIRQHandler 2 4280 invokeIRQHandler_SetIRQHandler 2 8 4 4294 invokeSetTLSBase 4 4 4304 invokeTCB_CopyRegisters 4 4 4 4 4 4 4 4314 invokeTCB_NotificationControl 4 4 4324 invokeTCB_ReadRegisters 4 4 4 4 4 4334 invokeTCB_Resume 4 4344 invokeTCB_Suspend 4 4354 invokeTCB_ThreadControl 4 4 4 4 4 8 4 8 4 4 8 4 4 4364 invokeTCB_WriteRegisters 4 4 4 4 4 4374 invokeUntyped_Retype 4 4 4 4 4 12 4 4384 isArchCap 8 4394 isBlocked 4 4404 isCapRevocable 8 8 4414 isFinalCapability 4 4424 isHighestPrio 4 4 4434 isIOSpaceFrameCap 8 4444 isIRQActive 2 4454 isIRQPending 4464 isMDBParentOf 4 4 4474 isRunnable 4 4484 isValidVTableRoot 8 4494 isValidVTableRoot_fp 8 4504 is_irq_edge_triggered 2 4514 is_reg_empty 8 4520 isb 4534 l1index_to_prio 4 45412 loadCapTransfer 4 4554 loadHWASID 4 4560 lockTLBEntry 4 4570 lockTLBEntryCritical 4 4 4 45812 lookupCap 4 4 45916 lookupCapAndSlot 4 4 4604 lookupExtraCaps 4 4 4 4614 lookupIPCBuffer 4 4 4624 lookupPDSlot 4 4 4638 lookupPTSlot 4 4 4644 lookupPTSlot_nofail 4 4 4658 lookupPivotSlot 8 4 4 4668 lookupSlot 4 4 4678 lookupSlotForCNodeOp 4 8 4 4 4688 lookupSourceSlot 8 4 4 4698 lookupTargetSlot 8 4 4 4704 lookup_fault_depth_mismatch_get_bitsFound 8 4714 lookup_fault_depth_mismatch_get_bitsLeft 8 4728 lookup_fault_depth_mismatch_new 4 4 4734 lookup_fault_get_lufType 8 4744 lookup_fault_guard_mismatch_get_bitsFound 8 4754 lookup_fault_guard_mismatch_get_bitsLeft 8 4764 lookup_fault_guard_mismatch_get_guardFound 8 4778 lookup_fault_guard_mismatch_new 4 4 4 4788 lookup_fault_invalid_root_new 4794 lookup_fault_missing_capability_get_bitsLeft 8 4808 lookup_fault_missing_capability_new 4 4818 lookup_fp 8 4 4824 makeUserPDE 4 4 4 4 4 4 4 4834 makeUserPTE 4 4 4 4 4 4840 map_it_frame_cap 8 8 4 4850 map_it_pt_cap 8 8 4860 map_kernel_devices 4870 map_kernel_frame 4 4 4 4 4880 map_kernel_window 4898 maskCapRights 4 8 4900 maskInterrupt 4 2 4914 maskVMRights 4 4 4924 mdb_node_get_mdbFirstBadged 8 4934 mdb_node_get_mdbNext 8 4944 mdb_node_get_mdbPrev 8 4954 mdb_node_get_mdbRevocable 8 4968 mdb_node_new 4 4 4 4 4970 mdb_node_ptr_mset_mdbNext_mdbRevocable_mdbFirstBadged 4 4 4 4 4980 mdb_node_ptr_set_mdbFirstBadged 4 4 4990 mdb_node_ptr_set_mdbNext 4 4 5000 mdb_node_ptr_set_mdbPrev 4 4 5010 mdb_node_ptr_set_mdbPrev_np 4 4 5020 mdb_node_ptr_set_mdbRevocable 4 4 5038 mdb_node_set_mdbFirstBadged 8 4 5048 mdb_node_set_mdbPrev 8 4 5058 mdb_node_set_mdbRevocable 8 4 5064 memcpy 4 4 4 5074 memset 4 4 4 5080 memzero 4 4 5094 messageInfoFromWord 4 5104 messageInfoFromWord_raw 4 5110 nextDomain 5124 notification_ptr_get_ntfnBoundTCB 4 5134 notification_ptr_get_ntfnMsgIdentifier 4 5144 notification_ptr_get_ntfnQueue_head 4 5154 notification_ptr_get_ntfnQueue_tail 4 5164 notification_ptr_get_state 4 5170 notification_ptr_set_ntfnBoundTCB 4 4 5180 notification_ptr_set_ntfnMsgIdentifier 4 4 5190 notification_ptr_set_ntfnQueue_head 4 4 5200 notification_ptr_set_ntfnQueue_tail 4 4 5210 notification_ptr_set_state 4 4 5228 ntfn_ptr_get_queue 4 5230 ntfn_ptr_set_queue 4 8 5240 ntfn_set_active 4 4 5258 paddr_to_pptr_reg 8 5264 pageBase 4 4 5274 pageBitsForSize 4 5284 pageTableMapped 4 4 4 5294 pdeCheckIfMapped 4 5304 pde_get_pdeType 4 5314 pde_pde_coarse_get_address 4 5324 pde_pde_coarse_new 4 4 4 5334 pde_pde_coarse_ptr_get_address 4 5344 pde_pde_invalid_get_stored_asid_valid 4 5354 pde_pde_invalid_get_stored_hw_asid 4 5364 pde_pde_invalid_new 4 4 5374 pde_pde_section_get_size 4 5384 pde_pde_section_new 4 4 4 4 4 4 4 4 4 4 4 4 5394 pde_pde_section_ptr_get_address 4 5404 pde_pde_section_ptr_get_size 4 5414 pde_ptr_get_pdeType 4 5424 performASIDControlInvocation 4 4 4 4 5434 performASIDPoolInvocation 4 4 4 5444 performInvocation_Endpoint 4 4 4 4 4 4 5454 performInvocation_Notification 4 4 5464 performInvocation_Reply 4 4 4 5474 performPDFlush 4 4 4 4 4 4 5484 performPageFlush 4 4 4 4 4 4 5494 performPageGetAddress 4 5504 performPageInvocationMapPDE 4 8 4 4 8 5514 performPageInvocationMapPTE 4 8 4 4 8 5524 performPageInvocationRemapPDE 4 4 8 5534 performPageInvocationRemapPTE 4 4 8 5544 performPageInvocationUnmap 8 4 5554 performPageInvocationUnmapIO 8 4 5564 performPageTableInvocationMap 8 4 4 4 5574 performPageTableInvocationUnmap 8 4 5580 plat_cleanCache 5590 plat_cleanInvalidateL2Cache 5600 plat_cleanInvalidateL2Range 4 4 5610 plat_cleanL2Range 4 4 5620 plat_invalidateL2Range 4 4 5634 popcountl 4 5640 possibleSwitchTo 4 5650 postCapDeletion 8 5668 pptr_to_paddr_reg 8 5674 preemptionPoint 5684 prio_to_l1index 4 5694 provide_cap 8 8 5704 provide_untyped_cap 8 4 4 4 4 5714 pteCheckIfMapped 4 5724 pte_get_pteSize 4 5734 pte_get_pteType 4 5744 pte_pte_invalid_new 5754 pte_pte_large_get_reserved 4 5764 pte_pte_large_new 4 4 4 4 4 4 4 4 4 4 5774 pte_pte_large_ptr_get_address 4 5784 pte_pte_large_ptr_get_reserved 4 5794 pte_pte_small_new 4 4 4 4 4 4 4 4 4 5804 pte_pte_small_ptr_get_address 4 5814 pte_ptr_get_pteSize 4 5824 pte_ptr_get_pteType 4 5834 ptrFromPAddr 4 5844 readAuxiliaryControlRegister 5854 readCLID 5864 readCacheSize 4 4 5874 readDACR 5884 readMPIDR 5894 readSystemControlRegister 5904 readTPIDRPRW 5914 readTPIDRURO 5924 readTPIDRURW 5934 readTTBCR 5944 readTTBR0 5954 readTTBR1 5964 ready_queues_index 4 4 5970 receiveIPC 4 8 4 5980 receiveSignal 4 8 4 5994 reduceZombie 4 4 6004 reg_size 8 6010 removeFromBitmap 4 4 4 6020 replyFromKernel_error 4 6030 replyFromKernel_success_empty 4 6040 rescheduleRequired 6050 resetTimer 6064 resetUntypedCap 4 60712 resolveAddressBits 8 4 4 60812 resolveVAddr 4 4 6090 restart 4 6100 restore_user_context 6114 rightsFromWord 4 6124 sameObjectAs 8 8 6134 sameRegionAs 8 8 6144 sanitiseRegister 4 4 4 6150 schedule 6160 scheduleChooseNewThread 6170 scheduleTCB 4 6184 seL4_CNode_CapData_get_guard 4 6194 seL4_CNode_CapData_get_guardSize 4 6204 seL4_CapRights_get_capAllowGrant 4 6214 seL4_CapRights_get_capAllowGrantReply 4 6224 seL4_CapRights_get_capAllowRead 4 6234 seL4_CapRights_get_capAllowWrite 4 6244 seL4_Fault_CapFault_get_address 8 6254 seL4_Fault_CapFault_get_inReceivePhase 8 6268 seL4_Fault_CapFault_new 4 4 6278 seL4_Fault_NullFault_new 6284 seL4_Fault_UnknownSyscall_get_syscallNumber 8 6298 seL4_Fault_UnknownSyscall_new 4 6304 seL4_Fault_UserException_get_code 8 6314 seL4_Fault_UserException_get_number 8 6328 seL4_Fault_UserException_new 4 4 6334 seL4_Fault_VMFault_get_FSR 8 6344 seL4_Fault_VMFault_get_address 8 6354 seL4_Fault_VMFault_get_instructionFault 8 6368 seL4_Fault_VMFault_new 4 4 4 6374 seL4_Fault_get_seL4_FaultType 8 6384 seL4_MessageInfo_get_capsUnwrapped 4 6394 seL4_MessageInfo_get_extraCaps 4 6404 seL4_MessageInfo_get_label 4 6414 seL4_MessageInfo_get_length 4 6424 seL4_MessageInfo_new 4 4 4 4 6434 seL4_MessageInfo_set_capsUnwrapped 4 4 6444 seL4_MessageInfo_set_extraCaps 4 4 6454 seL4_MessageInfo_set_length 4 4 6464 sendFaultIPC 4 6470 sendIPC 4 4 4 4 4 4 4 6480 sendSignal 4 4 6490 setACTLR 4 6500 setADFSR 4 6510 setAIFSR 4 6520 setCIDR 4 6530 setCurrentPD 4 6540 setCurrentPDPL2 4 6550 setDFAR 4 6560 setDFSR 4 6570 setDomain 4 4 6580 setExtraBadge 4 4 4 6590 setHTPIDR 4 6600 setHardwareASID 1 6610 setIFAR 4 6620 setIFSR 4 6630 setIRQState 4 2 6640 setIRQTrigger 2 4 6650 setKernelStack 4 6660 setMCPriority 4 4 6674 setMR 4 4 4 4 6684 setMRs_fault 4 4 4 6694 setMRs_lookup_failure 4 4 8 4 6704 setMRs_syscall_error 4 4 6710 setNMRR 4 6720 setNextPC 4 4 6730 setPRRR 4 6740 setPriority 4 4 6750 setRegister 4 4 4 6760 setThreadState 4 4 6770 setUntypedCapAsFull 8 8 4 6780 setVMRoot 4 6794 setVMRootForFlush 4 4 6800 setupCallerCap 4 4 4 6810 setupReplyMaster 4 6824 slotCapLongRunningDelete 4 6830 slowpath 4 6840 storeHWASID 4 1 6854 str_to_long 4 6864 strlcat 4 4 4 6874 strlcpy 4 4 4 6884 strncmp 4 4 4 6894 strnlen 4 4 6904 supportsAsyncExceptions 6910 suspend 4 6920 switchToIdleThread 6930 switchToThread 4 6940 switchToThread_fp 4 4 4 6958 tcbEPAppend 4 8 6968 tcbEPDequeue 4 8 6970 tcbSchedAppend 4 6980 tcbSchedDequeue 4 6990 tcbSchedEnqueue 4 7004 thread_state_get_tcbQueued 12 7014 thread_state_get_tsType 12 7024 thread_state_ptr_get_blockingIPCBadge 4 7034 thread_state_ptr_get_blockingIPCCanGrant 4 7044 thread_state_ptr_get_blockingIPCCanGrantReply 4 7054 thread_state_ptr_get_blockingIPCIsCall 4 7064 thread_state_ptr_get_blockingObject 4 7074 thread_state_ptr_get_tsType 4 7080 thread_state_ptr_mset_blockingObject_tsType 4 4 4 7090 thread_state_ptr_set_blockingIPCBadge 4 4 7100 thread_state_ptr_set_blockingIPCCanGrant 4 4 7110 thread_state_ptr_set_blockingIPCCanGrantReply 4 4 7120 thread_state_ptr_set_blockingIPCIsCall 4 4 7130 thread_state_ptr_set_blockingObject 4 4 7140 thread_state_ptr_set_tcbQueued 4 4 7150 thread_state_ptr_set_tsType 4 4 7160 thread_state_ptr_set_tsType_np 4 4 7170 timerTick 7184 transferCaps 4 12 4 4 4 7190 trapFpuInstToHyp 7204 try_init_kernel 4 4 4 4 7210 unbindMaybeNotification 4 7220 unbindNotification 4 7230 unmapIOPage 8 7240 unmapPage 4 4 4 4 7250 unmapPageTable 4 4 4 7268 updateCapData 4 4 8 7274 vmAttributesFromWord 4 7284 vmRightsFromWord 4 7294 vm_attributes_get_armExecuteNever 4 7304 vm_attributes_get_armPageCacheable 4 7314 vm_attributes_get_armParityEnabled 4 7324 vm_attributes_new 4 4 4 7330 wfi 7344 wordFromMessageInfo 4 7354 wordFromRights 4 7364 wordFromVMRights 4 7370 writeAuxiliaryControlRegister 4 7380 writeContextID 4 7390 writeContextIDAndPD 4 4 7400 writeContextIDPL2 4 7410 writeDACR 4 7420 writeSystemControlRegister 4 7430 writeTPIDRPRW 4 7440 writeTPIDRURO 4 7450 writeTPIDRURW 4 7460 writeTTBCR 4 7470 writeTTBR0 4 7480 writeTTBR0Ptr 4 7490 writeTTBR1 4 7500 write_it_asid_pool 8 8 7510 write_it_pd_pts 8 8 7520 write_slot 4 8 753