116 static void do_uid(config_t *cpe, struct rs_start *rs_start)  in do_uid()
161 static void do_sigmgr(config_t *cpe, struct rs_start *rs_start)  in do_sigmgr()
255 static void do_scheduler(config_t *cpe, struct rs_start *rs_start)  in do_scheduler()
292 static void do_priority(config_t *cpe, struct rs_start *rs_start)  in do_priority()
330 static void do_quantum(config_t *cpe, struct rs_start *rs_start)  in do_quantum()
368 static void do_cpu(config_t *cpe, struct rs_start *rs_start)  in do_cpu()
406 static void do_irq(config_t *cpe, struct rs_start *rs_start)  in do_irq()
461 static void do_io(config_t *cpe, struct rs_start *rs_start)  in do_io()
523 static void do_pci_device(config_t *cpe, struct rs_start *rs_start)  in do_pci_device()
575 static void do_pci_class(config_t *cpe, struct rs_start *rs_start)  in do_pci_class()
628 static void do_pci(config_t *cpe, struct rs_start *rs_start)  in do_pci()
658 static void do_ipc(config_t *cpe, struct rs_start *rs_start)  in do_ipc()
760 static void do_vm(config_t *cpe, struct rs_start *rs_start)  in do_vm()
852 static void do_system(config_t *cpe, struct rs_start *rs_start)  in do_system()
916 static void do_control(config_t *cpe, struct rs_start *rs_start)  in do_control()
990 do_domain(config_t * cpe, struct rs_start * rs_start)  in do_domain()
1029 	struct rs_start *rs_start = &rs_config->rs_start;  in do_service()  local
1155 	struct rs_start *rs_start = &rs_config->rs_start;  in do_config()  local