Lines Matching refs:va
326 x86bios_set_pages(vm_offset_t va, vm_paddr_t pa, size_t size)
332 x86bios_map[i] = va + j * X86BIOS_PAGE_SIZE;
338 uint8_t *va;
340 va = x86bios_get_pages(addr, sizeof(*va));
341 if (va == NULL)
344 return (*va);
350 uint16_t *va;
352 va = x86bios_get_pages(addr, sizeof(*va));
353 if (va == NULL)
358 return (le16dec(va));
361 return (le16toh(*va));
367 uint32_t *va;
369 va = x86bios_get_pages(addr, sizeof(*va));
370 if (va == NULL)
375 return (le32dec(va));
378 return (le32toh(*va));
384 uint8_t *va;
386 va = x86bios_get_pages(addr, sizeof(*va));
387 if (va == NULL)
390 *va = val;
396 uint16_t *va;
398 va = x86bios_get_pages(addr, sizeof(*va));
399 if (va == NULL)
404 le16enc(va, val);
407 *va = htole16(val);
413 uint32_t *va;
415 va = x86bios_get_pages(addr, sizeof(*va));
416 if (va == NULL)
421 le32enc(va, val);
424 *va = htole32(val);