ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-10 22:44:30 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

ports: support g++ -Weffc++ for vmm utils

Browse Source 
Issue #2715
This commit is contained in:
Alexander Boettcher 2018-03-10 13:52:23 +01:00 committed by Christian Helmuth
parent ed320f6f03
commit 6e2bd945b1
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/ports/include/vmm/vcpu_thread.h
View File

@ -41,6 +41,8 @@ class Vmm::Vcpu_thread
virtual Genode::addr_t exc_base() = 0;
virtual void start(Genode::addr_t) = 0;
virtual ~Vcpu_thread() { };
};
class Vmm::Vcpu_other_pd : public Vmm::Vcpu_thread
@ -53,6 +55,12 @@ class Vmm::Vcpu_other_pd : public Vmm::Vcpu_thread
Genode::addr_t _exc_pt_sel;
/*
* Noncopyable
*/
Vcpu_other_pd(Vcpu_other_pd const &);
Vcpu_other_pd &operator = (Vcpu_other_pd const &);
public:
Vcpu_other_pd(Cpu_session * cpu_session,