void apply_event(kernel::profile::Event* event, double value) override;
kernel::resource::CpuAction* execution_start(double size) override;
kernel::resource::CpuAction* execution_start(double, int) override
void apply_event(kernel::profile::Event* event, double value) override;
kernel::resource::CpuAction* execution_start(double size) override;
kernel::resource::CpuAction* execution_start(double, int) override