Searched refs:pages_count (Results 1 – 4 of 4) sorted by relevance
136 u_register_t pages_count, in spm_memory_attributes_set_smc_handler() argument140 size_t size = (size_t) (pages_count * PAGE_SIZE); in spm_memory_attributes_set_smc_handler()144 INFO(" Number of pages: %i (%zi bytes)\n", (int) pages_count, size); in spm_memory_attributes_set_smc_handler()
66 u_register_t pages_count,
465 size_t pages_count = size / PAGE_SIZE; in xlat_change_mem_attributes_ctx() local468 pages_count, base_va); in xlat_change_mem_attributes_ctx()475 for (unsigned int i = 0U; i < pages_count; ++i) { in xlat_change_mem_attributes_ctx()523 for (unsigned int i = 0U; i < pages_count; ++i) { in xlat_change_mem_attributes_ctx()
153 uint64_t pages_count = 0; in vcpu_worker() local166 pages_count += TEST_PAGES_PER_LOOP; in vcpu_worker()176 DEBUG("Dirtied %"PRIu64" pages\n", pages_count); in vcpu_worker()