Pager in Fiasco.OC

[Chen Tian]

Hello,

In Fiasco.OC, can we register a distinct pager for each thread? I
wonder if l4_thread_control_pager is for this purpose.

Thanks,
Chen