hyperv_flush_guest_mapping
int hyperv_flush_guest_mapping(u64 as)
static inline int hyperv_flush_guest_mapping(u64 as) { return -1; }