找回密码
 加入计匠网
搜索
热搜: BIOS ACPI CPU Windows
查看: 11012|回复: 4

[原创]VA_ARG IN EFI

[复制链接]
发表于 2009-10-22 20:19:17 | 显示全部楼层 |阅读模式
VA_ARG IN EFI
1. Introduction8 X/ \# D* [1 y9 c
. Z2 m9 ?$ x% k( F& v
可变参数其实是标准C语言一个内建的功能,它和EFI本身并没有太多关系。但是它在EDK中有重新实现和使用,而且我们家的code base使用频繁,很多oem callback都使用了可变参数以此获得函数格式的统一以及参数传递的灵活性。所以我就提一下可变参数的实现,希望对Legacy BIOS转过来的以及对C不是很熟悉的朋友有所帮助。
9 ?/ V8 Q/ t) D1 ?. _7 f1 }
2 e0 J6 q$ `# {/ C( v: W$ }2. Function Call Impl
# D! w( i( c/ T2 q/ F, B3 A: k1 Y* A
( S2 P& v4 k: t; B9 l" L0 s4 h要想搞明白可变参数的实现,那就肯定不能不提C的运行所必需的一个核心部件stack。离开了stackC是没法活J,这也是为什么EFI code 只能99%而无法100%C实现的其中一个原因(sec阶段需要准备好stack然后才可以交棒给Ccode)。先看一看函数调用过程中stack的变化状况:5 j$ u. _$ `- o) U) ^# F9 y3 v
void testq(int a,int b)
{
     int tmp;
( g: f1 {% J$ m! m
a = a;

  F7 o6 p* U/ Q0 q. Xb = b;

$ {3 `+ c1 |* B* R7 \: htestr();
}
void testp(void)
{
5 g) g4 ]: p4 e- v! w9 \
testq(1,2);
}
testp调用testq,这时stack的状况如下图1所示
3 |1 W) v- r. S( B) o; K0 \: i
+ p% ]1 T! a$ @+ X2 X  q. k7 q; ?/ [* i
6 G% M( R2 ^' a3 q% B& K. ?' q. A
通常情况下stack由高地址向低地址增长,压进去一个参数esp就会减小,弹出当然就会增加而且通常会以机器字对齐。一个函数保存局部变量以及调用下一级函数所需要的stack空间被称作一个frame。如上图1所示以ebp所指向的地址为界,ebp上方的为一个frame,下方包括保存的testpebp为另一个frameebp的存在也方便了函数参数,和局部变量的存取。ebp+n即可取出参数,ebp-n取出局部变量。函数调用参数进栈的顺序与平台和编译器有关,但通常都是从右向左进栈,所以testp会将b先进栈,然后是a接下来保存返回地址(testq返回时继续执行的位置)。了解了这些知识,就足以揭开可变参数的面纱了,下面就来看看可变参数的实现。5 c# @% j! |8 p  U; o
& X8 ]1 W) y. i
3. VA_START, VA_ARG,VA_END
- |, b* W( T/ P% ?" j, N- \8 X! n
- y! o  Z3 O/ D/ Y4 n. W- e. {
0 {+ s# [2 j  b
这三个宏就是可变参数的所有秘密所在了,所有的代码一共不超过十行,可是如果不清楚前面所提到到stack的布局,想搞明白这几行代码也不是很容易哦。翠花上codeJedk中的实现如下所示:
* [/ E5 A+ R  i  F( N. P2 ]' |
#define _EFI_INT_SIZE_OF(n) ((sizeof (n) + sizeof (UINTN) - 1) &~(sizeof (UINTN) - 1))
//
// Also support coding convention rules for var arg macros
//
#ifndef VA_START
typedef CHAR8 *VA_LIST;
#define VA_START(ap, v) (ap = (VA_LIST) & (v) + _EFI_INT_SIZE_OF (v))
#define VA_ARG(ap, t)
8 P( F+ Y: O( k1 {- c; ?(*(t *) ((ap += _EFI_INT_SIZE_OF (t)) - _EFI_INT_SIZE_OF (t)))
#define VA_END(ap)
" O( C: i& P# ~0 P5 K2 i# }(ap = (VA_LIST) 0)
#endif
用一段测试sample code,演示和讲解一下可变参数的使用和原理
2 q4 F# @6 F/ g1 N9 [
void OemCallBack(
# U* q/ k" W. z; R/ w
IN OEMCALLBACK# d! k& s! q$ P. j. I2 M2 J
*
this,

6 @% }: ^, n. x( z3 Z- R/ L5 @) _IN UINT328 n6 o; G4 R% A' C' y
NumOfArgs,

0 o) L! c6 B, \( V4 O...

$ C5 m9 C; q. u) E( e2 b* m) ~; O' k)
{
4 p/ W( X/ H3 `4 K3 u7 |4 F
VA_LIST5 q# i! e( R: U" {
Marker;

8 ~" u- ]% Y$ Z% o3 o& V8 kUINT32
) j- p% t* B+ N* M3 |! }Tmp;
+ \' T4 g' ]9 x( j
UINT32( Y4 j0 `% f+ T: B
Cont;
2 ]% g/ ~" h! [3 s* R  z
VA_START (Marker, NumOfArgs);
& u* @- F% _. b( a) A# V; d5 e8 y
  for(Cont = 0x00; Cont < NumOfArgs; ++Cont)
, k$ P0 O3 p% P2 i6 W
{

$ g% x  f1 w9 O% G7 STmp = VA_ARG (Marker, UINT32);

+ P/ S) `$ z, c/ n" m7 Vprintf(
"The value is :%d,",Tmp);
* z, M  a) f) F' ]4 ]( {
}

* Z+ j' j3 S% g, r' L) k

$ o6 b7 v8 f* i1 Aprintf(
"\n");
4 W6 j& `  n+ T1 u+ P+ l; K
VA_END (Marker);
  return EFI_SUCCESS;
}
int main (int argc,char** argv)
{

7 B/ c/ H3 p  {$ r3 \: eOemCallBack(NULL,3,5,10,33);
     return 0;
}
+ I5 F8 U5 J% t  b4 D# u先来看调用栈长的什么模样,再来分析实现原理吧,调用栈如下图2所示:. W( e3 ]8 ?7 m5 x

. G0 e" g( _& p3 i8 P. K0 L6 r
VA_START展开以后就是(Marker = (VA_LIST) & (NumOfArgs) + _EFI_INT_SIZE_OF (NumOfArgs))也即求出NumOfArgs之后的参数的地址,图中红色部分,也就是可变参数列的首地址。VA_ARG展开以后就有点意思了:(*(UINT32 *) ((Marker += _EFI_INT_SIZE_OF (UINT32)) - _EFI_INT_SIZE_OF (UINT32)))这里就是defrence出当前Marker指向的地址的t类型的值,并且移动Marker指针为下一轮做准备这就是Marker += _EFI_INT_SIZE_OF (UINT32)奥妙所在。这样逐次移动Marker指针就可以遍历出所有的可变参数了。VA_END就没什么好说的了防止出现野指针:Marker = (VA_LIST) 0最后一个_EFI_INT_SIZE_OF它是为了特定平台的内存对齐的需要,因为这个UINTN在不同的平台下大小不同,所以使用这个宏会将内存对齐到一个机器字。关于可变参数还有要特别强调的地方就是:一定要有结束标识,否则程序无法识别参数的个数,OemCallBack中的NumOfArgs就给出了参数的个数,另外就是至少要有一个不变的参数J,否则无法获得可变参数的首地址。

& C; Y" u4 n1 w6 h4 F# Y! \
8 d7 x0 }+ \. G9 o2 q
以上就是可变参数的所有内容了,希望有人能够从中获得帮助,也不枉我一番辛苦。再写要吐血了,闪!
  W8 _8 a1 `- p( `
! E- y; Q1 y2 z% v$ P# d0 k. e0 _Peter5 d/ _: E& b5 {, \$ `7 {
2009-10-22

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有账号?加入计匠网

×
发表于 2009-10-23 15:36:59 | 显示全部楼层
沙发~~~!
8 H, G- w" G3 i- {+ U" \VA_ARG在code中是会经常遇到的。。。。
# O* Z4 w5 @% J楼主剖析了其基本原理及实现方式,可谓拨云见日,受益不小啊!
4 S$ l. ~& w& w: ^3 ^; z* o4 x$ S+ ~4 U
[ 本帖最后由 adward 于 2009-10-23 15:54 编辑 ]
回复

使用道具 举报

发表于 2009-10-23 15:37:45 | 显示全部楼层

楼主辛苦

谢谢楼主总结此功能
回复

使用道具 举报

发表于 2010-1-25 19:14:11 | 显示全部楼层
楼主辛苦了!thanks!
回复

使用道具 举报

发表于 2010-1-27 18:32:29 | 显示全部楼层
相当清楚
# q/ ~% M! @9 E& h只是还是不明白_EFI_INT_SIZE_OF这个的作用3 |6 B6 Q. K- b& O4 \
也就是我看不出来_EFI_INT_SIZE_OF(n)和sizeof(n)的区别  C7 w" ^8 r; W2 v$ h  T" \& Q
楼主能不能再指教一下?
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 加入计匠网

本版积分规则

Archiver|手机版|小黑屋|计匠网

GMT+8, 2026-3-5 14:24 , Processed in 0.109914 second(s), 18 queries .

Powered by Discuz! X3.5

© 2001-2025 Discuz! Team.

快速回复 返回顶部 返回列表