include/simple/simple.h

227 typedef struct simple_t {
247 } simple_t;
249 static inline void *simple_get_frame_info(simple_t *simple, void *paddr, int size_bits, seL4_CPtr *frame_cap,
264 static inline seL4_Error simple_get_frame_cap(simple_t *simple, void *paddr, int size_bits, cspacepath_t *path)
277 static inline void *simple_get_frame_vaddr(simple_t *simple, void *paddr, int size_bits)
292 simple_get_IRQ_control(simple_t *simple, int irq, cspacepath_t path)
305 static inline seL4_Error simple_get_IRQ_handler(simple_t *simple, int irq, cspacepath_t path)
318 static inline seL4_Error simple_ASIDPool_assign(simple_t *simple, seL4_CPtr vspace)
333 seL4_Error simple_get_IOPort_cap(simple_t *simple, uint16_t start_port, uint16_t end_port, seL4_Word root,
344 static inline int simple_get_cap_count(simple_t *simple)
356 static inline seL4_CPtr simple_get_nth_cap(simple_t *simple, int n)
371 static inline int simple_get_cnode_size_bits(simple_t *simple)
385 static inline seL4_CPtr simple_init_cap(simple_t *simple, seL4_CPtr cap)
400 static inline seL4_CPtr simple_get_cnode(simple_t *simple)
405 static inline seL4_CPtr simple_get_tcb(simple_t *simple)
410 static inline seL4_CPtr simple_get_sc(UNUSED simple_t *simple)
419 static inline seL4_CPtr simple_get_pd(simple_t *simple)
424 static inline seL4_CPtr simple_get_irq_ctrl(simple_t *simple)
429 static inline seL4_CPtr simple_get_init_cap(simple_t *simple, seL4_CPtr cap)
434 static inline int simple_get_untyped_count(simple_t *simple)
448 static inline seL4_CPtr simple_get_nth_untyped(simple_t *simple, int n, size_t *size_bits, uintptr_t *paddr,
463 static inline int simple_get_userimage_count(simple_t *simple)
477 static inline seL4_CPtr simple_get_nth_userimage(simple_t *simple, int n)
490 static inline int simple_get_core_count(simple_t *simple)
505 static inline seL4_CPtr simple_get_iospace(simple_t *simple, uint16_t domainID, uint16_t deviceID, cspacepath_t *path)
522 static inline seL4_Error simple_get_iospace_cap_count(simple_t *simple, int *count)
544 static inline seL4_CPtr simple_get_nth_iospace_cap(simple_t *simple, int n)
564 static inline seL4_CPtr simple_get_sid_ctrl(simple_t *simple)
569 static inline seL4_CPtr simple_get_cb_ctrl(simple_t *simple)
575 static inline void simple_print(simple_t *simple)
589 static inline seL4_CPtr simple_get_sched_ctrl(simple_t *simple, int core)
607 static inline ssize_t simple_get_extended_bootinfo_length(simple_t *simple, seL4_Word type)
620 static inline ssize_t simple_get_extended_bootinfo(simple_t *simple, seL4_Word type, void *dest, ssize_t max_len)