alloc_pg_mapping
pg = alloc_pg_mapping(len * sizeof(u32));
pg = alloc_pg_mapping(0);
pg = alloc_pg_mapping(2 * len * sizeof(u32));