#include "config.h"
#include "driver_log.h"

# define CONFIG_PHYS_OFFSET  (0x0000000040000000ULL)
# define CONFIG_KERNEL_START_PA CONFIG_PHYS_OFFSET
# define KASLR_MAGIC_OFFSET   0x00000000D1400000ULL

PhysicalAddress KernelGetKaslrStructAddress() {
  return (PhysicalAddress)KASLR_MAGIC_OFFSET;
}

PaTzResult KernelNextMemoryConfiguration(void) {
  static size_t counter = 0;

  if (counter == 0) {
    counter++;
    return PA_TZ_SUCCESS;
  }

  LOG_E("All memory configuration is checked.\n");
  return PA_TZ_GENERAL_ERROR;
}

PhysicalAddress KernelGetConfigPhysOffset(void) {
  return CONFIG_PHYS_OFFSET;
}

PhysicalAddress KernelGetStartPhysAddr(void) {
  return CONFIG_KERNEL_START_PA;
}