Searched refs:pvtime_size (Results 1 – 1 of 1) sorted by relevance
2048 hwaddr pvtime_size = max_cpus * PVTIME_SIZE_PER_CPU; in virt_cpu_post_init() local2051 pvtime_size = REAL_HOST_PAGE_ALIGN(pvtime_size); in virt_cpu_post_init()2053 if (pvtime_size > pvtime_reg_size) { in virt_cpu_post_init()2057 pvtime_size, max_cpus, pvtime_reg_size); in virt_cpu_post_init()2061 memory_region_init_ram(pvtime, NULL, "pvtime", pvtime_size, NULL); in virt_cpu_post_init()