/* boot memory allocation */
extern vm_offset_t ml_static_malloc(
vm_size_t size);
#endif /* PEXPERT_KERNEL_PRIVATE || MACH_KERNEL_PRIVATE */
/* boot memory allocation */
extern vm_offset_t ml_static_malloc(
vm_size_t size);
#endif /* PEXPERT_KERNEL_PRIVATE || MACH_KERNEL_PRIVATE */