676 int hv_store_mapping(HV_VirtAddr va, unsigned int len, HV_PhysAddr pa);
1410 void hv_bzero_page(HV_VirtAddr va, unsigned int size);
1667 int hv_dev_pread(int devhdl, __hv32 flags, HV_VirtAddr va, __hv32 len,
1710 int hv_dev_pwrite(int devhdl, __hv32 flags, HV_VirtAddr va, __hv32 len,
2542 #define HV_L0_INDEX(va) \  argument
2543   (((va) >> HV_LOG2_L1_SPAN) & (HV_L0_ENTRIES - 1))
2548 #define HV_L0_INDEX(va) \  argument
2549   (((HV_VirtAddr)(va) >> HV_LOG2_L1_SPAN) & (HV_L0_ENTRIES - 1))
2593 #define _HV_L1_INDEX(va, log2_page_size_large) \  argument
2594   (((va) >> log2_page_size_large) & (_HV_L1_ENTRIES(log2_page_size_large) - 1))
2599 #define _HV_L1_INDEX(va, log2_page_size_large) \  argument
2600   (((va) >> log2_page_size_large))
2605 #define _HV_L2_INDEX(va, log2_page_size_large, log2_page_size_small) \  argument
2606   (((va) >> log2_page_size_small) & \
2614 #define _HV_L1_INDEX(va, log2_page_size_large) \  argument
2615   (((HV_VirtAddr)(va) >> log2_page_size_large) & \
2621 #define _HV_L1_INDEX(va, log2_page_size_large) \  argument
2622   (((HV_VirtAddr)(va) >> log2_page_size_large))
2627 #define _HV_L2_INDEX(va, log2_page_size_large, log2_page_size_small) \  argument
2628   (((HV_VirtAddr)(va) >> log2_page_size_small) & \