Lines Matching refs:custom_simple
69 typedef struct custom_simple {
86 static inline bool is_ltimer(custom_simple_t *custom_simple)
88 return custom_simple->timer_config.timer == TIMER_LTIMER;
91 static inline bool is_hw_serial(custom_simple_t *custom_simple)
93 return custom_simple->serial_config.serial == SERIAL_SERVER;
96 static inline bool is_hw_pci_config(custom_simple_t *custom_simple)
98 return custom_simple->pci_config_config.pci_config == PCI_CONFIG_HW;
101 static inline int custom_irq_from_pci_device(custom_simple_t *custom_simple,
104 if (custom_simple->camkes || irq == NULL) {
108 init_data_t *init_data = custom_simple->simple->data;
121 int custom_simple_vspace_bootstrap_frames(custom_simple_t *custom_simple, vspace_t *vspace,
124 int custom_get_num_regions(custom_simple_t *custom_simple);
125 int custom_get_region_list(custom_simple_t *custom_simple, int num_regions, pmem_region_t *regions);
127 void preinit_rumprun(custom_simple_t *custom_simple);
128 int init_rumprun(custom_simple_t *custom_simple);
130 int custom_get_priority(custom_simple_t *custom_simple);
131 const char *custom_get_cmdline(custom_simple_t *custom_simple);