devmap_handle_unmap_head
static void devmap_handle_unmap_head(devmap_handle_t *dhp, size_t len);
devmap_handle_unmap_head(dhp, len);