Genode + Fiasco.OC: How to access multiple run queues?

Hello L4-hackers , I'm writing a Genode component which should access and modify the Run queues of the scheduler. Based on what I have read and looked there will be one scheduler for each processor. How to access the different scheduler objects and Run queues from Genode side? I have looked through the code and able to print the run queue from the ready_queue_fp.cpp. But how do you access 2 run queues when number of processors is more than one? And what is the easy way to manipulate these from Genode component.? PS: I have read Genode book and have a basic idea of Genode architecture. Best regards, Guru