kernel.h

//
// kernel.h
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     https://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#ifndef _kernel_h
#define _kernel_h

#include "viceapp.h"
#include <setjmp.h>

#include "vicesound.h"
#include <circle/actled.h>
#include <circle/cputhrottle.h>
#include <circle/devicenameservice.h>
#include <circle/exceptionhandler.h>
#include <circle/input/mouse.h>
#include <circle/interrupt.h>
#include <circle/logger.h>
#include <circle/serial.h>
#include <circle/spinlock.h>
#include <circle/timer.h>
#include <circle/types.h>
#include <circle/usb/usbgamepad.h>
#include <circle/usb/usbkeyboard.h>
#include <circle/usertimer.h>
#include <stdint.h>
#include <vc4/vchiq/vchiqdevice.h>

#include "fbl.h"

extern "C" {
#include "third_party/common/circle.h"
#include "third_party/common/keycodes.h"
#include "third_party/vice-3.3/src/main.h"
}

class CKernel : public ViceStdioApp {
public:
  CKernel(void);

  bool Initialize(void) override;
  TShutdownMode Run(void);

  static void MouseStatusHandler(unsigned nButtons, int nPosX, int nPosY);
  static void KeyStatusHandlerRaw(unsigned char ucModifiers,
                                  const unsigned char RawKeys[6]);
  static void GamePadStatusHandler(unsigned nDeviceIndex,
                                   const TGamePadState *pState);

  void circle_sleep(long delay);
  unsigned long circle_get_ticks();

  uint8_t *circle_get_fb1();
  int circle_get_fb1_pitch();
  int circle_get_fb1_w();
  int circle_get_fb1_h();
  void circle_set_fb1_palette(uint8_t index, uint16_t rgb565);
  void circle_update_fb1_palette();
  void circle_set_fb1_y(int loc);

  // New FB2 stuff to replace the default frame buffer
  int circle_alloc_fbl(int layer, int pixelmode, uint8_t **pixels,
                       int width, int height, int *pitch);
  void circle_free_fbl(int layer);
  void circle_clear_fbl(int layer);
  void circle_show_fbl(int layer);
  void circle_hide_fbl(int layer);
  void circle_frames_ready_fbl(int layer1, int layer2, int sync);
  void circle_set_palette_fbl(int layer, uint8_t index, uint16_t rgb565);
  void circle_set_palette32_fbl(int layer, uint8_t index, uint32_t argb);
  void circle_update_palette_fbl(int layer);
  void circle_set_stretch_fbl(int layer, double hstretch, double vstretch, int hintstr, int vintstr, int use_hintstr, int use_vintstr);
  void circle_set_center_offset(int layer, int cx, int cy);
  void circle_set_src_rect_fbl(int layer, int x, int y, int w, int h);
  void circle_set_valign_fbl(int layer, int align, int padding);
  void circle_set_halign_fbl(int layer, int align, int padding);
  void circle_set_padding_fbl(int layer, double lpad, double rpad, double tpad, double bpad);
  void circle_set_zlayer_fbl(int layer, int zlayer);
  int circle_get_zlayer_fbl(int layer);

  int circle_sound_init(const char *param, int *speed, int *fragsize,
                        int *fragnr, int *channels);
  int circle_sound_write(int16_t *pbuf, size_t nr);
  void circle_sound_close(void);
  int circle_sound_suspend(void);
  int circle_sound_resume(void);
  int circle_sound_bufferspace(void);
  void circle_yield(void);
  void circle_check_gpio();
  void circle_reset_gpio(int gpio_config);
  void circle_lock_acquire();
  void circle_lock_release();
  void circle_boot_complete();
  void circle_set_volume(int value);
  int circle_get_model();
  int circle_gpio_enabled();
  int circle_gpio_outputs_enabled();
  void circle_kernel_core_init_complete(int core);
  unsigned circle_get_arm_clock();
  void circle_get_fbl_dimensions(int layer, int *display_w, int *display_h,
                                 int *fb_w, int *fb_h,
                                 int *src_w, int *src_h,
                                 int *dst_w, int *dst_h);
  void circle_get_scaling_params(int display,
                                 int *fbw, int *fbh,
                                 int *sx, int *sy);
  void circle_set_interpolation(int enable);

private:
  void InitSound();
  void SetupUSBKeyboard();
  void SetupUSBMouse();
  void SetupUSBGamepads();
  int ReadDebounced(int pinIndex);
  void ScanKeyboard();
  void ReadJoystick(int device, int gpioConfig);
  void ReadCustomGPIO();
  void SetupUserport();
  void ReadWriteUserport();

  ViceSound *mViceSound;
  CCPUThrottle mCPUThrottle;
  CSpinLock m_Lock;
  int mNumJoy;
  int mVolume;
  int mNumCoresComplete;
  bool mNeedSoundInit;
  int mNumSoundChannels;

  int gpio_debounce_state[NUM_GPIO_PINS];

  // Used for custom gpio configs that have joy assignments
  int gpio_prev_state[NUM_GPIO_PINS];

  FrameBufferLayer fbl[FB_NUM_LAYERS];
};

#endif