Symbol: get_plic_context