刚刚踩了一个坑，等效代码如下：

#include <stdio.h>
#include <stdlib.h>

int main(void)
{
    void * start = (void *)0xc0000000;
    void * end = (void *)0x00000000;

    printf("%p - %p = %lx\n", end, start, end - start);
    printf("(%p - %p) >> 12 = %#lx\n", end, start, (end - start) >> 12);
    printf("(unsigned long)(%p - %p) >> 12 = %#lx\n", end, start, (unsigned long)(end - start) >> 12);

    return EXIT_SUCCESS;
}

结果(end - start) >> 12这一部分的计算有问题，导致了一个错误。

C语言中的右移动操作符>>视操作数是否为无符号有两种操作：如果操作数是无符号，则按逻辑右移执行；如果操作数是有符号，则按算术右移执行。
这一点是没有问题的，不过指针相减的结果却是有符号整数，故(end - start) >> 12得不到预期的结果，应该做一次类型转换。

受教了，标准库里确实有很多比较方便的东西，研读标准库是非常有必要的。👍👍👍