blob: f144a6d5fad01000957cf24dc4e1b0d2c906ccdf [file] [log] [blame]
Patrick Georgiac959032020-05-05 22:49:26 +02001/* SPDX-License-Identifier: GPL-2.0-or-later */
Elyes HAOUASa1e22b82019-03-18 22:49:36 +01002
Kyösti Mälkki27872372021-01-21 16:05:26 +02003#include <acpi/acpi_pm.h>
Furquan Shaikh76cedd22020-05-02 10:24:23 -07004#include <acpi/acpigen.h>
Michael Niewöhnered21df62020-09-19 00:08:45 +02005#include <arch/cpu.h>
Shaunak Sahabd427802017-07-18 00:19:33 -07006#include <arch/ioapic.h>
7#include <arch/smp/mpspec.h>
Patrick Rudolphf677d172018-10-01 19:17:11 +02008#include <cf9_reset.h>
Elyes HAOUAS20eaef02019-03-29 17:45:28 +01009#include <console/console.h>
Shaunak Sahabd427802017-07-18 00:19:33 -070010#include <cpu/intel/turbo.h>
Michael Niewöhnerf0a44ae2021-01-01 21:04:09 +010011#include <cpu/intel/msr.h>
Michael Niewöhnered21df62020-09-19 00:08:45 +020012#include <cpu/intel/common/common.h>
Shaunak Sahabd427802017-07-18 00:19:33 -070013#include <cpu/x86/smm.h>
14#include <intelblocks/acpi.h>
Kyösti Mälkkica71e132021-01-15 05:06:35 +020015#include <intelblocks/acpi_wake_source.h>
Marc Jones1403b912020-12-02 14:35:27 -070016#include <intelblocks/lpc_lib.h>
Shaunak Sahabd427802017-07-18 00:19:33 -070017#include <intelblocks/pmclib.h>
Duncan Laurie93bbd412017-11-11 20:03:29 -080018#include <intelblocks/uart.h>
Shaunak Sahabd427802017-07-18 00:19:33 -070019#include <soc/gpio.h>
20#include <soc/iomap.h>
Shaunak Sahabd427802017-07-18 00:19:33 -070021#include <soc/pm.h>
Wonkyu Kim0aeedd42021-03-22 20:07:15 -070022#include <cpu/x86/lapic.h>
Shaunak Sahabd427802017-07-18 00:19:33 -070023
Michael Niewöhnered21df62020-09-19 00:08:45 +020024#define CPUID_6_EAX_ISST (1 << 7)
25
Shaunak Sahabd427802017-07-18 00:19:33 -070026static int acpi_sci_irq(void)
27{
28 int sci_irq = 9;
29 uint32_t scis;
30
31 scis = soc_read_sci_irq_select();
32 scis &= SCI_IRQ_SEL;
33 scis >>= SCI_IRQ_ADJUST;
34
35 /* Determine how SCI is routed. */
36 switch (scis) {
37 case SCIS_IRQ9:
38 case SCIS_IRQ10:
39 case SCIS_IRQ11:
40 sci_irq = scis - SCIS_IRQ9 + 9;
41 break;
42 case SCIS_IRQ20:
43 case SCIS_IRQ21:
44 case SCIS_IRQ22:
45 case SCIS_IRQ23:
46 sci_irq = scis - SCIS_IRQ20 + 20;
47 break;
48 default:
49 printk(BIOS_DEBUG, "Invalid SCI route! Defaulting to IRQ9.\n");
50 sci_irq = 9;
51 break;
52 }
53
54 printk(BIOS_DEBUG, "SCI is IRQ%d\n", sci_irq);
55 return sci_irq;
56}
57
58static unsigned long acpi_madt_irq_overrides(unsigned long current)
59{
60 int sci = acpi_sci_irq();
61 uint16_t flags = MP_IRQ_TRIGGER_LEVEL;
62
63 /* INT_SRC_OVR */
64 current += acpi_create_madt_irqoverride((void *)current, 0, 0, 2, 0);
65
66 flags |= soc_madt_sci_irq_polarity(sci);
67
68 /* SCI */
69 current +=
70 acpi_create_madt_irqoverride((void *)current, 0, sci, sci, flags);
71
Michael Niewöhner14512f92020-11-23 15:53:28 +010072 /* NMI */
73 current += acpi_create_madt_lapic_nmi((acpi_madt_lapic_nmi_t *)current, 0xff, 5, 1);
74
Wonkyu Kim0aeedd42021-03-22 20:07:15 -070075 if (is_x2apic_mode())
76 current += acpi_create_madt_lx2apic_nmi((acpi_madt_lx2apic_nmi_t *)current,
Kyösti Mälkki6c7e9452021-06-03 14:48:52 +030077 0xffffffff, 0x5, 1);
Wonkyu Kim0aeedd42021-03-22 20:07:15 -070078
Shaunak Sahabd427802017-07-18 00:19:33 -070079 return current;
80}
81
Marc Jones847043c2020-12-02 11:24:00 -070082__weak const struct madt_ioapic_info *soc_get_ioapic_info(size_t *entries)
83{
84 *entries = 0;
85 return NULL;
86}
87
Shaunak Sahabd427802017-07-18 00:19:33 -070088unsigned long acpi_fill_madt(unsigned long current)
89{
Marc Jones847043c2020-12-02 11:24:00 -070090 const struct madt_ioapic_info *ioapic_table;
91 size_t ioapic_entries;
92
Shaunak Sahabd427802017-07-18 00:19:33 -070093 /* Local APICs */
94 current = acpi_create_madt_lapics(current);
95
96 /* IOAPIC */
Marc Jones847043c2020-12-02 11:24:00 -070097 ioapic_table = soc_get_ioapic_info(&ioapic_entries);
98 if (ioapic_entries) {
99 for (int i = 0; i < ioapic_entries; i++) {
100 current += acpi_create_madt_ioapic(
101 (void *)current,
102 ioapic_table[i].id,
103 ioapic_table[i].addr,
104 ioapic_table[i].gsi_base);
105 }
106 } else {
107 /* Default SOC IOAPIC entry */
108 current += acpi_create_madt_ioapic((void *)current, 2, IO_APIC_ADDR, 0);
109 }
Shaunak Sahabd427802017-07-18 00:19:33 -0700110
111 return acpi_madt_irq_overrides(current);
112}
113
Shaunak Sahabd427802017-07-18 00:19:33 -0700114void acpi_fill_fadt(acpi_fadt_t *fadt)
115{
116 const uint16_t pmbase = ACPI_BASE_ADDRESS;
117
Marc Jonesf9ea7ed2018-08-22 18:59:26 -0600118 fadt->header.revision = get_acpi_table_revision(FADT);
Shaunak Sahabd427802017-07-18 00:19:33 -0700119
120 fadt->sci_int = acpi_sci_irq();
Kyösti Mälkkic328a682019-11-23 07:23:40 +0200121
Kyösti Mälkki0a9e72e2019-08-11 01:22:28 +0300122 if (permanent_smi_handler()) {
Kyösti Mälkkic328a682019-11-23 07:23:40 +0200123 fadt->smi_cmd = APM_CNT;
124 fadt->acpi_enable = APM_CNT_ACPI_ENABLE;
125 fadt->acpi_disable = APM_CNT_ACPI_DISABLE;
126 }
Shaunak Sahabd427802017-07-18 00:19:33 -0700127
128 fadt->pm1a_evt_blk = pmbase + PM1_STS;
Shaunak Sahabd427802017-07-18 00:19:33 -0700129 fadt->pm1a_cnt_blk = pmbase + PM1_CNT;
Shaunak Sahabd427802017-07-18 00:19:33 -0700130
131 fadt->gpe0_blk = pmbase + GPE0_STS(0);
132
133 fadt->pm1_evt_len = 4;
134 fadt->pm1_cnt_len = 2;
135
136 /* GPE0 STS/EN pairs each 32 bits wide. */
137 fadt->gpe0_blk_len = 2 * GPE0_REG_MAX * sizeof(uint32_t);
138
Shaunak Sahabd427802017-07-18 00:19:33 -0700139 fadt->day_alrm = 0xd;
140
Angel Ponsa208c6c2020-07-13 00:02:34 +0200141 fadt->flags |= ACPI_FADT_WBINVD | ACPI_FADT_C1_SUPPORTED |
Michael Niewöhner2353cd92021-10-04 16:59:49 +0200142 ACPI_FADT_SLEEP_BUTTON |
Michael Niewöhner5c259642021-09-25 00:40:52 +0200143 ACPI_FADT_SEALED_CASE | ACPI_FADT_S4_RTC_WAKE;
144
145 if (CONFIG(USE_PM_ACPI_TIMER) || !CONFIG(PM_ACPI_TIMER_OPTIONAL))
146 fadt->flags |= ACPI_FADT_PLATFORM_CLOCK;
Shaunak Sahabd427802017-07-18 00:19:33 -0700147
Elyes HAOUAS04071f42020-07-20 17:05:24 +0200148 fadt->x_pm1a_evt_blk.space_id = ACPI_ADDRESS_SPACE_IO;
Shaunak Sahabd427802017-07-18 00:19:33 -0700149 fadt->x_pm1a_evt_blk.bit_width = fadt->pm1_evt_len * 8;
150 fadt->x_pm1a_evt_blk.addrl = pmbase + PM1_STS;
Angel Pons12a4d052020-07-14 01:31:27 +0200151 fadt->x_pm1a_evt_blk.access_size = ACPI_ACCESS_SIZE_WORD_ACCESS;
Patrick Rudolphc02bda02020-02-28 10:19:41 +0100152
Elyes HAOUAS04071f42020-07-20 17:05:24 +0200153 fadt->x_pm1a_cnt_blk.space_id = ACPI_ADDRESS_SPACE_IO;
Shaunak Sahabd427802017-07-18 00:19:33 -0700154 fadt->x_pm1a_cnt_blk.bit_width = fadt->pm1_cnt_len * 8;
155 fadt->x_pm1a_cnt_blk.addrl = pmbase + PM1_CNT;
Patrick Rudolphc02bda02020-02-28 10:19:41 +0100156 fadt->x_pm1a_cnt_blk.access_size = ACPI_ACCESS_SIZE_WORD_ACCESS;
Shaunak Sahabd427802017-07-18 00:19:33 -0700157
Patrick Rudolphc02bda02020-02-28 10:19:41 +0100158 /*
159 * Windows 10 requires x_gpe0_blk to be set starting with FADT revision 5.
160 * The bit_width field intentionally overflows here.
161 * The OSPM can instead use the values in `fadt->gpe0_blk{,_len}`, which
162 * seems to work fine on Linux 5.0 and Windows 10.
163 */
164 fadt->x_gpe0_blk.space_id = ACPI_ADDRESS_SPACE_IO;
165 fadt->x_gpe0_blk.bit_width = fadt->gpe0_blk_len * 8;
166 fadt->x_gpe0_blk.bit_offset = 0;
Angel Ponsa23aff32020-06-21 20:47:54 +0200167 fadt->x_gpe0_blk.access_size = ACPI_ACCESS_SIZE_BYTE_ACCESS;
Patrick Rudolphc02bda02020-02-28 10:19:41 +0100168 fadt->x_gpe0_blk.addrl = fadt->gpe0_blk;
169 fadt->x_gpe0_blk.addrh = 0;
Shaunak Sahabd427802017-07-18 00:19:33 -0700170}
171
Furquan Shaikh0f007d82020-04-24 06:41:18 -0700172unsigned long southbridge_write_acpi_tables(const struct device *device,
Shaunak Sahabd427802017-07-18 00:19:33 -0700173 unsigned long current,
174 struct acpi_rsdp *rsdp)
175{
Marc Jones5258f4f2020-12-02 11:29:09 -0700176 if (CONFIG(SOC_INTEL_COMMON_BLOCK_UART)) {
177 current = acpi_write_dbg2_pci_uart(rsdp, current,
178 uart_get_device(),
179 ACPI_ACCESS_SIZE_DWORD_ACCESS);
180 }
181
Shaunak Sahabd427802017-07-18 00:19:33 -0700182 return acpi_write_hpet(device, current, rsdp);
183}
184
Aaron Durbin64031672018-04-21 14:45:32 -0600185__weak
Michael Niewöhner820b9c42021-09-30 21:03:07 +0200186void acpi_fill_soc_wake(uint32_t *pm1_en, uint32_t *gpe0_en,
187 const struct chipset_power_state *ps)
Shaunak Sahabd427802017-07-18 00:19:33 -0700188{
Shaunak Sahabd427802017-07-18 00:19:33 -0700189}
190
191/*
192 * Save wake source information for calculating ACPI _SWS values
193 *
194 * @pm1: PM1_STS register with only enabled events set
195 * @gpe0: GPE0_STS registers with only enabled events set
196 *
Kyösti Mälkkif67e67512021-01-22 19:59:07 +0200197 * return the number of registers in the gpe0 array
Shaunak Sahabd427802017-07-18 00:19:33 -0700198 */
199
Kyösti Mälkkica71e132021-01-15 05:06:35 +0200200int soc_fill_acpi_wake(const struct chipset_power_state *ps, uint32_t *pm1, uint32_t **gpe0)
Shaunak Sahabd427802017-07-18 00:19:33 -0700201{
Shaunak Sahabd427802017-07-18 00:19:33 -0700202 static uint32_t gpe0_sts[GPE0_REG_MAX];
Michael Niewöhner820b9c42021-09-30 21:03:07 +0200203 uint32_t gpe0_en[GPE0_REG_MAX];
Shaunak Sahabd427802017-07-18 00:19:33 -0700204 uint32_t pm1_en;
205 int i;
206
Shaunak Sahabd427802017-07-18 00:19:33 -0700207 /*
208 * PM1_EN to check the basic wake events which can happen through
209 * powerbtn or any other wake source like lidopen, key board press etc.
210 */
211 pm1_en = ps->pm1_en;
Michael Niewöhnerf855b8b2021-10-10 16:56:31 +0200212 pm1_en |= WAK_STS | PWRBTN_EN;
Shaunak Sahabd427802017-07-18 00:19:33 -0700213
Michael Niewöhner820b9c42021-09-30 21:03:07 +0200214 memcpy(gpe0_en, ps->gpe0_en, sizeof(gpe0_en));
215
216 acpi_fill_soc_wake(&pm1_en, gpe0_en, ps);
Shaunak Sahabd427802017-07-18 00:19:33 -0700217
218 *pm1 = ps->pm1_sts & pm1_en;
219
220 /* Mask off GPE0 status bits that are not enabled */
221 *gpe0 = &gpe0_sts[0];
222 for (i = 0; i < GPE0_REG_MAX; i++)
Michael Niewöhner820b9c42021-09-30 21:03:07 +0200223 gpe0_sts[i] = ps->gpe0_sts[i] & gpe0_en[i];
Shaunak Sahabd427802017-07-18 00:19:33 -0700224
225 return GPE0_REG_MAX;
226}
227
Marc Jonesa81703c2020-12-18 10:44:47 -0700228int common_calculate_power_ratio(int tdp, int p1_ratio, int ratio)
Shaunak Sahabd427802017-07-18 00:19:33 -0700229{
230 u32 m;
231 u32 power;
232
233 /*
234 * M = ((1.1 - ((p1_ratio - ratio) * 0.00625)) / 1.1) ^ 2
235 *
236 * Power = (ratio / p1_ratio) * m * tdp
237 */
238
239 m = (110000 - ((p1_ratio - ratio) * 625)) / 11;
240 m = (m * m) / 1000;
241
242 power = ((ratio * 100000 / p1_ratio) / 100);
243 power *= (m / 100) * (tdp / 1000);
244 power /= 1000;
245
246 return power;
247}
248
Shaunak Sahabd427802017-07-18 00:19:33 -0700249static void generate_c_state_entries(void)
250{
251 acpi_cstate_t *c_state_map;
252 size_t entries;
253
254 c_state_map = soc_get_cstate_map(&entries);
255
256 /* Generate C-state tables */
257 acpigen_write_CST_package(c_state_map, entries);
258}
259
260void generate_p_state_entries(int core, int cores_per_package)
261{
262 int ratio_min, ratio_max, ratio_turbo, ratio_step;
263 int coord_type, power_max, num_entries;
264 int ratio, power, clock, clock_max;
Julien Viard de Galbertc2540a92018-11-06 09:28:03 +0100265 bool turbo;
Shaunak Sahabd427802017-07-18 00:19:33 -0700266
267 coord_type = cpu_get_coord_type();
268 ratio_min = cpu_get_min_ratio();
269 ratio_max = cpu_get_max_ratio();
270 clock_max = (ratio_max * cpu_get_bus_clock()) / KHz;
Julien Viard de Galbertc2540a92018-11-06 09:28:03 +0100271 turbo = (get_turbo_state() == TURBO_ENABLED);
Shaunak Sahabd427802017-07-18 00:19:33 -0700272
273 /* Calculate CPU TDP in mW */
274 power_max = cpu_get_power_max();
275
276 /* Write _PCT indicating use of FFixedHW */
277 acpigen_write_empty_PCT();
278
279 /* Write _PPC with no limit on supported P-state */
280 acpigen_write_PPC_NVS();
281 /* Write PSD indicating configured coordination type */
282 acpigen_write_PSD_package(core, 1, coord_type);
283
284 /* Add P-state entries in _PSS table */
285 acpigen_write_name("_PSS");
286
287 /* Determine ratio points */
288 ratio_step = PSS_RATIO_STEP;
Julien Viard de Galbertc2540a92018-11-06 09:28:03 +0100289 do {
Shaunak Sahabd427802017-07-18 00:19:33 -0700290 num_entries = ((ratio_max - ratio_min) / ratio_step) + 1;
Julien Viard de Galbertc2540a92018-11-06 09:28:03 +0100291 if (((ratio_max - ratio_min) % ratio_step) > 0)
292 num_entries += 1;
293 if (turbo)
294 num_entries += 1;
295 if (num_entries > PSS_MAX_ENTRIES)
296 ratio_step += 1;
297 } while (num_entries > PSS_MAX_ENTRIES);
298
299 /* _PSS package count depends on Turbo */
300 acpigen_write_package(num_entries);
Shaunak Sahabd427802017-07-18 00:19:33 -0700301
302 /* P[T] is Turbo state if enabled */
Julien Viard de Galbertc2540a92018-11-06 09:28:03 +0100303 if (turbo) {
Shaunak Sahabd427802017-07-18 00:19:33 -0700304 ratio_turbo = cpu_get_max_turbo_ratio();
305
306 /* Add entry for Turbo ratio */
307 acpigen_write_PSS_package(clock_max + 1, /* MHz */
308 power_max, /* mW */
309 PSS_LATENCY_TRANSITION,/* lat1 */
310 PSS_LATENCY_BUSMASTER,/* lat2 */
311 ratio_turbo << 8, /* control */
312 ratio_turbo << 8); /* status */
Julien Viard de Galbertc2540a92018-11-06 09:28:03 +0100313 num_entries -= 1;
Shaunak Sahabd427802017-07-18 00:19:33 -0700314 }
315
316 /* First regular entry is max non-turbo ratio */
317 acpigen_write_PSS_package(clock_max, /* MHz */
318 power_max, /* mW */
319 PSS_LATENCY_TRANSITION,/* lat1 */
320 PSS_LATENCY_BUSMASTER,/* lat2 */
321 ratio_max << 8, /* control */
322 ratio_max << 8); /* status */
Julien Viard de Galbertc2540a92018-11-06 09:28:03 +0100323 num_entries -= 1;
Shaunak Sahabd427802017-07-18 00:19:33 -0700324
325 /* Generate the remaining entries */
326 for (ratio = ratio_min + ((num_entries - 1) * ratio_step);
327 ratio >= ratio_min; ratio -= ratio_step) {
328
329 /* Calculate power at this ratio */
Marc Jonesa81703c2020-12-18 10:44:47 -0700330 power = common_calculate_power_ratio(power_max, ratio_max, ratio);
Shaunak Sahabd427802017-07-18 00:19:33 -0700331 clock = (ratio * cpu_get_bus_clock()) / KHz;
332
333 acpigen_write_PSS_package(clock, /* MHz */
334 power, /* mW */
335 PSS_LATENCY_TRANSITION,/* lat1 */
336 PSS_LATENCY_BUSMASTER,/* lat2 */
337 ratio << 8, /* control */
338 ratio << 8); /* status */
339 }
340 /* Fix package length */
341 acpigen_pop_len();
342}
343
Julien Viard de Galbert595202c2018-03-29 14:01:01 +0200344__attribute__ ((weak)) acpi_tstate_t *soc_get_tss_table(int *entries)
Shaunak Sahabd427802017-07-18 00:19:33 -0700345{
346 *entries = 0;
347 return NULL;
348}
349
350void generate_t_state_entries(int core, int cores_per_package)
351{
352 acpi_tstate_t *soc_tss_table;
353 int entries;
354
355 soc_tss_table = soc_get_tss_table(&entries);
356 if (entries == 0)
357 return;
358
359 /* Indicate SW_ALL coordination for T-states */
360 acpigen_write_TSD_package(core, cores_per_package, SW_ALL);
361
362 /* Indicate FixedHW so OS will use MSR */
363 acpigen_write_empty_PTC();
364
365 /* Set NVS controlled T-state limit */
366 acpigen_write_TPC("\\TLVL");
367
368 /* Write TSS table for MSR access */
369 acpigen_write_TSS_package(entries, soc_tss_table);
370}
371
Michael Niewöhnered21df62020-09-19 00:08:45 +0200372static void generate_cppc_entries(int core_id)
373{
374 if (!(CONFIG(SOC_INTEL_COMMON_BLOCK_ACPI_CPPC) &&
375 cpuid_eax(6) & CPUID_6_EAX_ISST))
376 return;
377
378 /* Generate GCPC package in first logical core */
379 if (core_id == 0) {
380 struct cppc_config cppc_config;
381 cpu_init_cppc_config(&cppc_config, CPPC_VERSION_2);
382 acpigen_write_CPPC_package(&cppc_config);
383 }
384
385 /* Write _CPC entry for each logical core */
386 acpigen_write_CPPC_method();
387}
388
Aaron Durbin64031672018-04-21 14:45:32 -0600389__weak void soc_power_states_generation(int core_id,
Shaunak Sahabd427802017-07-18 00:19:33 -0700390 int cores_per_package)
391{
392}
393
Furquan Shaikh7536a392020-04-24 21:59:21 -0700394void generate_cpu_entries(const struct device *device)
Shaunak Sahabd427802017-07-18 00:19:33 -0700395{
Michael Niewöhner2353cd92021-10-04 16:59:49 +0200396 int core_id, cpu_id;
Shaunak Sahabd427802017-07-18 00:19:33 -0700397 int totalcores = dev_count_cpu();
Patrick Rudolph7a66ffb2020-12-17 14:42:29 +0100398 unsigned int num_virt;
399 unsigned int num_phys;
Shaunak Sahabd427802017-07-18 00:19:33 -0700400
Patrick Rudolph7a66ffb2020-12-17 14:42:29 +0100401 cpu_read_topology(&num_phys, &num_virt);
402
403 int numcpus = totalcores / num_virt;
404
405 printk(BIOS_DEBUG, "Found %d CPU(s) with %d/%d physical/logical core(s) each.\n",
406 numcpus, num_phys, num_virt);
Shaunak Sahabd427802017-07-18 00:19:33 -0700407
408 for (cpu_id = 0; cpu_id < numcpus; cpu_id++) {
Patrick Rudolph7a66ffb2020-12-17 14:42:29 +0100409 for (core_id = 0; core_id < num_virt; core_id++) {
Christian Walterbe3979c2019-12-18 15:07:59 +0100410 /* Generate processor \_SB.CPUx */
Michael Niewöhner2353cd92021-10-04 16:59:49 +0200411 acpigen_write_processor((cpu_id) * num_virt + core_id, 0, 0);
Shaunak Sahabd427802017-07-18 00:19:33 -0700412
413 /* Generate C-state tables */
414 generate_c_state_entries();
415
Michael Niewöhnered21df62020-09-19 00:08:45 +0200416 generate_cppc_entries(core_id);
417
Shaunak Sahabd427802017-07-18 00:19:33 -0700418 /* Soc specific power states generation */
Patrick Rudolph7a66ffb2020-12-17 14:42:29 +0100419 soc_power_states_generation(core_id, num_virt);
Shaunak Sahabd427802017-07-18 00:19:33 -0700420
421 acpigen_pop_len();
422 }
423 }
Arthur Heymans0ac555e2018-11-28 12:25:54 +0100424 /* PPKG is usually used for thermal management
425 of the first and only package. */
Patrick Rudolph7a66ffb2020-12-17 14:42:29 +0100426 acpigen_write_processor_package("PPKG", 0, num_virt);
Arthur Heymans0ac555e2018-11-28 12:25:54 +0100427
428 /* Add a method to notify processor nodes */
Patrick Rudolph7a66ffb2020-12-17 14:42:29 +0100429 acpigen_write_processor_cnot(num_virt);
Shaunak Sahabd427802017-07-18 00:19:33 -0700430}