673 int hv_store_mapping(HV_VirtAddr va, unsigned int len, HV_PhysAddr pa);
1398 void hv_bzero_page(HV_VirtAddr va, unsigned int size);
1655 int hv_dev_pread(int devhdl, __hv32 flags, HV_VirtAddr va, __hv32 len,
1698 int hv_dev_pwrite(int devhdl, __hv32 flags, HV_VirtAddr va, __hv32 len,
2480 #define HV_L0_INDEX(va) \
2481   (((va) >> HV_LOG2_L1_SPAN) & (HV_L0_ENTRIES - 1))
2486 #define HV_L0_INDEX(va) \  argument
2487   (((HV_VirtAddr)(va) >> HV_LOG2_L1_SPAN) & (HV_L0_ENTRIES - 1))
2531 #define _HV_L1_INDEX(va, log2_page_size_large) \
2532   (((va) >> log2_page_size_large) & (_HV_L1_ENTRIES(log2_page_size_large) - 1))
2537 #define _HV_L1_INDEX(va, log2_page_size_large) \
2538   (((va) >> log2_page_size_large))
2543 #define _HV_L2_INDEX(va, log2_page_size_large, log2_page_size_small) \
2544   (((va) >> log2_page_size_small) & \
2552 #define _HV_L1_INDEX(va, log2_page_size_large) \  argument
2553   (((HV_VirtAddr)(va) >> log2_page_size_large) & \
2559 #define _HV_L1_INDEX(va, log2_page_size_large) \  argument
2560   (((HV_VirtAddr)(va) >> log2_page_size_large))
2565 #define _HV_L2_INDEX(va, log2_page_size_large, log2_page_size_small) \  argument
2566   (((HV_VirtAddr)(va) >> log2_page_size_small) & \