美文网首页
seL4函数无法找到的说明

seL4函数无法找到的说明

作者: Jason416 | 来源:发表于2019-01-10 12:08 被阅读0次

在分析seL4中断的投递过程的过程中,发现始终有几个函数在source insight中怎么搜也搜索不到它的实现。已下记录下解决过程:

怀疑方向

  • 宏定义用字符拼接方式
  • 库文件里面
  • 脚本生成

现象

在将官方未更改的项目加入到source insight中后,发现seL4_IRQHandler_SetNotification等接口,总是找不到。再将编译后的项目也加入后,发现在项目目录sel4_client.h文件里面接口就能找到了,证明确实是自动生成的。

结果

起初搜索的SetNotification字段在sel4.xml中的interface字段中,有详细的说明。还有对于的Python文件用类似字段,可能是官方采用的脚本生成的方式,将所需要的通用接口统一放置到了sel4_client.h这种类似的文件中,并以static inline修饰这些函数。具体如何实现,暂不研究,太复杂。

相关文章

  • seL4函数无法找到的说明

    在分析seL4中断的投递过程的过程中,发现始终有几个函数在source insight中怎么搜也搜索不到它的实现。...

  • keras无法找到某个函数

    今天遇到的一种很偶然的情况 keras无法调用某函数,报错说该函数不存在,但是通过go to却可以找到该函数,不过...

  • 微内核 seL4 Untyped

    seL4的内存管理 在seL4中,除了少量静态内存属于内核,所有的物理内存都由用户态管理。在root task开始...

  • Android 7.0 dlopen 函数分析

    1. 说明 Android 7.0 后使用 dlopen 函数无法获取 soinfo 对应,因此也无法使用 dls...

  • lua基本函数说明

    lua函数说明 部分lua函数在lua的dash文档中没找到或者没有使用例子,特记录,备忘; getfenv(f)...

  • Latex 插图函数说明

    网上找到的包含插图用到的函数索引及说明: http://www.ctex.org/documents/latex/...

  • 更改this的指向

    首先说明一下,对于ES6新推出的箭头函数(() => {}),是无法改变this指向的,因为箭头函数中的this在...

  • 微信小程序:setData报错TypeError: Cannot

    问题的原因: 无法找到setData这个定义,因为setData中是onLoad函数中的方法中的子节点, 无法使用...

  • R pheatmap画热图

    绘制热图的函数。 1、参数说明 2、Details 该函数还允许使用kmeans聚类聚合行。如果行数太大,R无法再...

  • JavaScript 常见面试题分析(二)

    01 说明 this 几种不同的使用场景 this 要在执行时才能确认值,定义时无法确认 ① 作为构造函数执行 (...

网友评论

      本文标题:seL4函数无法找到的说明

      本文链接:https://www.haomeiwen.com/subject/sgiorqtx.html