673 int hv_store_mapping(HV_VirtAddr va, unsigned int len, HV_PhysAddr pa);
1402 void hv_bzero_page(HV_VirtAddr va, unsigned int size);
1659 int hv_dev_pread(int devhdl, __hv32 flags, HV_VirtAddr va, __hv32 len,
1702 int hv_dev_pwrite(int devhdl, __hv32 flags, HV_VirtAddr va, __hv32 len,
2484 #define HV_L0_INDEX(va) \  argument
2485   (((va) >> HV_LOG2_L1_SPAN) & (HV_L0_ENTRIES - 1))
2490 #define HV_L0_INDEX(va) \  argument
2491   (((HV_VirtAddr)(va) >> HV_LOG2_L1_SPAN) & (HV_L0_ENTRIES - 1))
2535 #define _HV_L1_INDEX(va, log2_page_size_large) \  argument
2536   (((va) >> log2_page_size_large) & (_HV_L1_ENTRIES(log2_page_size_large) - 1))
2541 #define _HV_L1_INDEX(va, log2_page_size_large) \  argument
2542   (((va) >> log2_page_size_large))
2547 #define _HV_L2_INDEX(va, log2_page_size_large, log2_page_size_small) \  argument
2548   (((va) >> log2_page_size_small) & \
2556 #define _HV_L1_INDEX(va, log2_page_size_large) \  argument
2557   (((HV_VirtAddr)(va) >> log2_page_size_large) & \
2563 #define _HV_L1_INDEX(va, log2_page_size_large) \  argument
2564   (((HV_VirtAddr)(va) >> log2_page_size_large))
2569 #define _HV_L2_INDEX(va, log2_page_size_large, log2_page_size_small) \  argument
2570   (((HV_VirtAddr)(va) >> log2_page_size_small) & \