3

Linux カーネルのアセンブリ コードから呼び出される C 関数を作成する必要があります。

どのような特別な問題を考慮に入れる必要がありますか?

私はいくつかのことを考えていますが、誰でも詳細を提供できますか?

(1) 呼び出し規約

assembly の呼び出し元と c の呼び出し先がよく握手するようにします。しかし、どの呼び出し規約を使用すればよいでしょうか? c関数を宣言し、アセンブリコードで宣言するにはどうすればよいですか?

(2) プロテクトレジスタ

一部のレジスタは、呼び出す前にアセンブリに保存する必要があります。私は大まかにそれらがeax、ecx、およびedxであることを覚えています。しかし、C 関数を呼び出す前に古い値を参照する必要がない限り、それらを保存する必要はありませんよね?

他の問題は何ですか？

4

1 に答える 1

2

でタグ付けされたクエストとしてlinux-kernel、次のカーネル ヘッダーを見てください: arch/x86/include/asm/calling.h。

   3 x86 function call convention, 64-bit:
   4 -------------------------------------
   5  arguments           |  callee-saved      | extra caller-saved | return
   6 [callee-clobbered]   |                    | [callee-clobbered] |
   7 ---------------------------------------------------------------------------
   8 rdi rsi rdx rcx r8-9 | rbx rbp [*] r12-15 | r10-11             | rax, rdx [**]
   9
  10 ( rsp is obviously invariant across normal function calls. (gcc can 'merge'
  11   functions when it sees tail-call optimization possibilities) rflags is
  12   clobbered. Leftover arguments are passed over the stack frame.)
  13
  14 [*]  In the frame-pointers case rbp is fixed to the stack frame.
  15
  16 [**] for struct return values wider than 64 bits the return convention is a
  17      bit more complex: up to 128 bits width we return small structures
  18      straight in rax, rdx. For structures larger than that (3 words or
  19      larger) the caller puts a pointer to an on-stack return struct
  20      [allocated in the caller's stack frame] into the first argument - i.e.
  21      into rdi. All other arguments shift up by one in this case.
  22      Fortunately this case is rare in the kernel.
  23
  24 For 32-bit we have the following conventions - kernel is built with
  25 -mregparm=3 and -freg-struct-return:
  26
  27 x86 function calling convention, 32-bit:
  28 ----------------------------------------
  29  arguments         | callee-saved        | extra caller-saved | return
  30 [callee-clobbered] |                     | [callee-clobbered] |
  31 -------------------------------------------------------------------------
  32 eax edx ecx        | ebx edi esi ebp [*] | <none>             | eax, edx [**]
  33
  34 ( here too esp is obviously invariant across normal function calls. eflags
  35   is clobbered. Leftover arguments are passed over the stack frame. )
  36
  37 [*]  In the frame-pointers case ebp is fixed to the stack frame.
  38
  39 [**] We build with -freg-struct-return, which on 32-bit means similar
  40      semantics as on 64-bit: edx can be used for a second return value
  41      (i.e. covering integer and structure sizes up to 64 bits) - after that
  42      it gets more complex and more expensive: 3-word or larger struct returns
  43      get done in the caller's frame and the pointer to the return struct goes
  44      into regparm0, i.e. eax - the other arguments shift up and the
  45      function's register parameters degenerate to regparm=2 in essence.
于 2012-04-08T15:01:08.087 に答える