Symbol: vgic_get_phys_line_level