| 1927 | return 0; |
| 1928 | } |
| 1929 | bool is_master_event_engine_default() { |
| 1930 | return CURRENT->get_vcpu()->is_master_event_engine_default(); |
| 1931 | } |
| 1932 | void reset_master_event_engine_default() { |
| 1933 | CURRENT->get_vcpu()->reset_master_event_engine_default(); |
| 1934 | } |
nothing calls this directly
no test coverage detected