Searched refs:pages_count (Results 1 – 3 of 3) sorted by relevance
114 u_register_t pages_count, in spm_memory_attributes_set_smc_handler() argument118 size_t size = (size_t) (pages_count * PAGE_SIZE); in spm_memory_attributes_set_smc_handler()122 INFO(" Number of pages: %i (%zi bytes)\n", (int) pages_count, size); in spm_memory_attributes_set_smc_handler()
62 u_register_t pages_count,
482 size_t pages_count = size / PAGE_SIZE; in xlat_change_mem_attributes_ctx() local485 pages_count, base_va); in xlat_change_mem_attributes_ctx()492 for (unsigned int i = 0U; i < pages_count; ++i) { in xlat_change_mem_attributes_ctx()540 for (unsigned int i = 0U; i < pages_count; ++i) { in xlat_change_mem_attributes_ctx()
