vm_free_unused_boot_loader_range
void vm_free_unused_boot_loader_range(addr_t start, addr_t end);
vm_free_unused_boot_loader_range(KERNEL_LOAD_BASE, KERNEL_SIZE);
vm_free_unused_boot_loader_range(0, 0xffffffff - B_PAGE_SIZE + 1);
vm_free_unused_boot_loader_range(0, 0xffffffff - B_PAGE_SIZE + 1);
vm_free_unused_boot_loader_range(0, 0xffffffff - B_PAGE_SIZE + 1);
vm_free_unused_boot_loader_range(0, 0xffffffff - B_PAGE_SIZE + 1);
vm_free_unused_boot_loader_range(KERNEL_LOAD_BASE,