C言語で48ビットのアドレスを出力する方法

Question

前提

C言語を勉強しています。
x64でコンパイルしたとき、文字列の開始位置のアドレスを表示させたいのです。

問題

printfの%xでは下位32ビットしか表示されません。
本来は48ビットなので48ビットすべてを表示したいです。

今回のプログラム

#include <stdio.h>

int main(){
    char buf[10];
    printf("buf : 0x%x\n",buf);
    return 0;
}

実行結果

buf : 0xffffdef6

今回得たい出力

buf : 0x7fffffffdef6

Comments

[episteme]

%p 使えません?

[kohuku]

%pでできました！
ありがとうございます。

Answer 1

%pでポインタを出力することができる。

Comments

[thkana]

ポインタを出力するときは%pを使わなければいけない(できてしまう現実はともかくとして、ポインタを表示するのに%xや%lx,%d等を使うのは本来ではない)と言ったほうがいいかも知れません。