sipi.h

Go to the documentation of this file.

 
#pragma once
 
#include <sys/cdefs.h>
 
#include <cstddef>
#include <cstdint>
 
inline constexpr uint64_t kDefaultAPBase = 0x30000;
 
extern "C" void* ap_start16[];
extern "C" void* ap_start64_end[];
extern "C" void* sipi_params[];
 
struct [[gnu::packed]] SipiParams {
  uint32_t cr3;
};