ARM Linux Kernel 77th gic_of_init()->alloc_vmap_area()