_kern_clone_area
extern area_id _kern_clone_area(const char *name, void **_address,
return _kern_clone_area(name, address, addressSpec, protection, sourceArea);