<dec f='src/src/sys/arch/amd64/include/gdt.h' l='46' type='void ldt_free(int )'/>
