HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES
flush->flags = HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES;
flush->flags = HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES;
HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES | HV_FLUSH_ALL_PROCESSORS);
HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES | HV_FLUSH_ALL_PROCESSORS,
HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES |
HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES |
flush->flags = HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES;
flush->flags = HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES;
flush->flags = HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES |
flush->flags = HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES |
flush_ex->flags = HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES;
flush_ex->flags = HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES;
flush_ex->flags = HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES;
flush_ex->flags = HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES;
flush_ex->flags = HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES;
flush_ex->flags = HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES;
HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES);
0x0, HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES);
HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES |
HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES |
0x0, HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES);
0x0, HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES);
0x0, HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES);
0x0, HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES);
flush_ex->flags = HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES;
0x0, HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES);
flush_ex->flags = HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES;
0x0, HV_FLUSH_ALL_VIRTUAL_ADDRESS_SPACES);