Lines Matching defs:reservation_t
26 } reservation_t;
106 reservation_t vspace_reserve_range(vspace_t *vspace, size_t bytes,
257 size_t size_bits, reservation_t reservation, bool can_use_dev);
276 size_t size_bits, reservation_t reservation);
298 size_t size_bits, seL4_CapRights_t rights, reservation_t reservation);
363 typedef reservation_t (*vspace_reserve_range_aligned_fn)(vspace_t *vspace, size_t bytes, size_t size_bits,
378 typedef reservation_t (*vspace_reserve_range_at_fn)(vspace_t *vspace, void *vaddr,
394 typedef reservation_t (*vspace_reserve_deferred_rights_range_at_fn)(vspace_t *vspace, void *vaddr,
405 typedef void (*vspace_free_reservation_fn)(vspace_t *vspace, reservation_t reservation);
470 void *vaddr, reservation_t res);
581 reservation_t res)
595 reservation_t reservation)
619 size_t num_pages, size_t size_bits, reservation_t reservation)
645 seL4_CapRights_t rights, reservation_t reservation)
710 static inline reservation_t vspace_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits,
713 reservation_t error = { .res = 0 };
738 static inline reservation_t vspace_reserve_range_at(vspace_t *vspace, void *vaddr,
741 reservation_t error = { .res = 0 };
761 static inline reservation_t vspace_reserve_deferred_rights_range_at(vspace_t *vspace, void *vaddr,
764 reservation_t error = { .res = 0 };
783 static inline void vspace_free_reservation(vspace_t *vspace, reservation_t reservation)
880 size_t size_bits, void *vaddr, reservation_t res)