Searched refs:fix_desc64 (Results 1 – 3 of 3) sorted by relevance
319 fix_desc64(void *descp, int count) in fix_desc64() function402 fix_desc64((void *) &master_idt64, IDTSZ); in cpu_desc_init()403 fix_desc64((void *) &master_gdt[sel_idx(KERNEL_LDT)], 1); in cpu_desc_init()404 fix_desc64((void *) &master_gdt[sel_idx(USER_LDT)], 1); in cpu_desc_init()405 fix_desc64((void *) &master_gdt[sel_idx(KERNEL_TSS)], 1); in cpu_desc_init()441 fix_desc64(&cdt->gdt[sel_idx(KERNEL_LDT)], 1); in cpu_desc_init()446 fix_desc64(&cdt->gdt[sel_idx(USER_LDT)], 1); in cpu_desc_init()451 fix_desc64(&cdt->gdt[sel_idx(KERNEL_TSS)], 1); in cpu_desc_init()
64 extern void fix_desc64(
584 fix_desc64(master_boot_idt64, 32); in vstart_idt_init()