Symbol: bhyve_seg2reg