Symbol: plic_post_ithread