Home
last modified time | relevance | path

Searched refs:k (Results 1 – 2 of 2) sorted by relevance

/devicemodel/core/
A Dsw_load_common.c220 uint32_t removed = 0, k; in acrn_create_e820_table() local
273 for (k = 0; k < (NUM_E820_ENTRIES - 1 - removed); k++) { in acrn_create_e820_table()
274 if (e820[k].length == 0x0) { in acrn_create_e820_table()
275 memmove(&e820[k], &e820[k + 1], sizeof(struct e820_entry) * in acrn_create_e820_table()
276 (NUM_E820_ENTRIES - (k + 1))); in acrn_create_e820_table()
277 k--; in acrn_create_e820_table()
285 for (k = 0; k < NUM_E820_ENTRIES - removed; k++) in acrn_create_e820_table()
288 k, e820[k].baseaddr, in acrn_create_e820_table()
289 e820[k].length, in acrn_create_e820_table()
290 e820[k].type); in acrn_create_e820_table()
/devicemodel/hw/pci/
A Dxhci.c526 int i, j, k; in pci_xhci_get_free_vport() local
540 k = xdev->vbdp_dev_num; in pci_xhci_get_free_vport()
541 if (k > 0 && xdev->vbdp_devs[j].state == S3_VBDP_START in pci_xhci_get_free_vport()

Completed in 12 milliseconds