Symbol: nhi_alloc_ring0