关于linux0.11的内核的一个问题

whatcanido

在内核的fork.c中的函数void verify_area(viod *addr, int size)看了很久都弄不请他是如何实现的.请各位高手指点一下.代码如下:
void verify_area(void * addr,int size)
{
    unsigned long start;

    start = (unsigned long) addr;
    size += start & 0xfff;
    start &= 0xfffff000;
    start += get_base(current->ldt[2]);
    while (size>0) {
        size -= 4096;
        write_verify(start);
        start += 4096;