Searched refs:__NONNULL (Results 1 – 13 of 13) sorted by relevance
/lk-master/lib/fs/include/lib/ |
A D | fs.h | 49 status_t fs_mount(const char *path, const char *fs, const char *device) __NONNULL((1)) __NONNULL((2… 50 status_t fs_unmount(const char *path) __NONNULL(); 51 status_t fs_file_ioctl(filehandle *handle, int request, void *argp) __NONNULL((1)) __NONNULL((3)); 56 status_t fs_remove_file(const char *path) __NONNULL(); 59 status_t fs_close_file(filehandle *handle) __NONNULL(); 64 status_t fs_make_dir(const char *path) __NONNULL(); 67 status_t fs_close_dir(dirhandle *handle) __NONNULL(); 69 status_t fs_stat_fs(const char *mountpoint, struct fs_stat *stat) __NONNULL((1)) __NONNULL((2)); 75 void fs_normalize_path(char *path) __NONNULL(); 103 status_t (*readdir)(dircookie *, struct dirent *) __NONNULL(); [all …]
|
/lk-master/arch/include/arch/ |
A D | mmu.h | 38 … arch_mmu_init_aspace(arch_aspace_t *aspace, vaddr_t base, size_t size, uint flags) __NONNULL((1)); 39 status_t arch_mmu_destroy_aspace(arch_aspace_t *aspace) __NONNULL((1)); 42 …mu_map(arch_aspace_t *aspace, vaddr_t vaddr, paddr_t paddr, uint count, uint flags) __NONNULL((1)); 43 int arch_mmu_unmap(arch_aspace_t *aspace, vaddr_t vaddr, uint count) __NONNULL((1)); 44 …t arch_mmu_query(arch_aspace_t *aspace, vaddr_t vaddr, paddr_t *paddr, uint *flags) __NONNULL((1)); 49 vaddr_t align, size_t size, uint arch_mmu_flags) __NONNULL((1));
|
/lk-master/kernel/include/kernel/ |
A D | vm.h | 128 status_t pmm_add_arena(pmm_arena_t *arena) __NONNULL((1)); 134 size_t pmm_alloc_pages(uint count, struct list_node *list) __NONNULL((2)); 143 size_t pmm_alloc_range(paddr_t address, uint count, struct list_node *list) __NONNULL((3)); 148 size_t pmm_free(struct list_node *list) __NONNULL((1)); 151 size_t pmm_free_page(vm_page_t *page) __NONNULL((1)); 228 __NONNULL((1)); 233 __NONNULL((1)); 237 __NONNULL((1)); 241 __NONNULL((1)); 251 __NONNULL((1)); [all …]
|
/lk-master/lib/bootimage/include/lib/ |
A D | bootimage.h | 16 status_t bootimage_open(const void *ptr, size_t len, bootimage_t **bi) __NONNULL(); 17 status_t bootimage_close(bootimage_t *bi) __NONNULL(); 18 status_t bootimage_get_range(bootimage_t *bi, const void **ptr, size_t *len) __NONNULL((1)); 21 …age_get_file_section(bootimage_t *bi, uint32_t type, const void **ptr, size_t *len) __NONNULL((1));
|
/lk-master/lib/ptable/include/lib/ |
A D | ptable.h | 28 status_t ptable_find(const char *name, struct ptable_entry *entry) __NONNULL((1)); 29 status_t ptable_create_default(const char *bdev_name, uint64_t offset) __NONNULL(); 30 status_t ptable_add(const char *name, uint64_t min_len, uint32_t flags) __NONNULL(); 31 status_t ptable_remove(const char *name) __NONNULL();
|
/lk-master/dev/include/dev/ |
A D | display.h | 49 status_t display_get_info(struct display_info *info) __NONNULL((1)); 61 __NONNULL((1)); 71 __NONNULL((1));
|
/lk-master/dev/virtio/gpu/include/dev/virtio/ |
A D | gpu.h | 14 status_t virtio_gpu_init(struct virtio_device *dev, uint32_t host_features) __NONNULL(); 16 status_t virtio_gpu_start(struct virtio_device *dev) __NONNULL();
|
/lk-master/dev/virtio/block/include/dev/virtio/ |
A D | block.h | 14 status_t virtio_block_init(struct virtio_device *dev, uint32_t host_features) __NONNULL(); 16 …read_write(struct virtio_device *dev, void *buf, off_t offset, size_t len, bool write) __NONNULL();
|
/lk-master/top/include/lk/ |
A D | compiler.h | 77 #define __NONNULL(x) __attribute((nonnull x)) macro 80 #define __NONNULL(x) macro 173 #define __NONNULL(x) macro
|
/lk-master/lib/minip/ |
A D | minip-internal.h | 127 …imer_set(net_timer_t *, net_timer_callback_t, void *callback_args, lk_time_t delay) __NONNULL((1)); 130 bool net_timer_cancel(net_timer_t *) __NONNULL();
|
/lk-master/dev/virtio/net/include/dev/virtio/ |
A D | net.h | 14 status_t virtio_net_init(struct virtio_device *dev, uint32_t host_features) __NONNULL();
|
/lk-master/dev/virtio/include/dev/ |
A D | virtio.h | 48 status_t virtio_alloc_ring(struct virtio_device *dev, uint index, uint16_t len) __NONNULL();
|
/lk-master/lib/gfx/include/lib/ |
A D | gfx.h | 94 gfx_surface *gfx_create_surface_from_display(struct display_framebuffer *) __NONNULL((1));
|
Completed in 18 milliseconds