Home
last modified time | relevance | path

Searched defs:page_num (Results 1 – 5 of 5) sorted by relevance

/base/tee/tee_os_kernel/user/system-services/chcore-libc/libchcore/porting/overrides/src/chcore-port/
Dring_buffer.c80 int page_num = ROUND_UP(buffer_size, 0x1000); in new_ringbuffer() local
102 int page_num = ROUND_UP(ring_buf->buffer_size, 0x1000); in free_ringbuffer() local
/base/tee/tee_os_kernel/kernel/mm/
Dbuddy.c130 vaddr_t start_addr, unsigned long page_num) in init_buddy()
Dslab.c59 unsigned long page_num; in set_or_clear_slab_in_page() local
/base/tee/tee_os_kernel/user/system-services/system-servers/fs_base/
Dfs_page_cache.c862 pidx_t file_page_idx, u64 page_num) in page_cache_pin_multiple_pages()
874 pidx_t file_page_idx, u64 page_num) in page_cache_unpin_multiple_pages()
/base/tee/tee_os_framework/framework/gtask/src/include/
Dgtask_core.h159 uint64_t page_num; member