Searched refs:ia64_platform_free (Results 1 - 4 of 4) sorted by relevance

/freebsd-9.3-release/sys/boot/ia64/common/
H A Dlibia64.h43 void ia64_platform_free(vm_offset_t, vm_paddr_t, vm_size_t);
H A Dcopy.c81 ia64_platform_free(0, (uintptr_t)ia64_pgtbl, ia64_pgtblsz);
/freebsd-9.3-release/sys/boot/ia64/ski/
H A Dskimd.c54 ia64_platform_free(vm_offset_t va __unused, vm_paddr_t pa __unused, function
/freebsd-9.3-release/sys/boot/ia64/efi/
H A Defimd.c182 ia64_platform_free(vm_offset_t va, vm_paddr_t pa, vm_size_t sz) function

Completed in 71 milliseconds