Searched refs:pvtime_size (Results 1 – 1 of 1) sorted by relevance
1980 hwaddr pvtime_size = max_cpus * PVTIME_SIZE_PER_CPU; in virt_cpu_post_init() local1983 pvtime_size = REAL_HOST_PAGE_ALIGN(pvtime_size); in virt_cpu_post_init()1985 if (pvtime_size > pvtime_reg_size) { in virt_cpu_post_init()1989 pvtime_size, max_cpus, pvtime_reg_size); in virt_cpu_post_init()1993 memory_region_init_ram(pvtime, NULL, "pvtime", pvtime_size, NULL); in virt_cpu_post_init()