ihk_mc_get_linux_kernel_pgt(): add declaration

Cherry-pick of caff967a442907dd75f8cd878b9f2ea7608c77b2
This commit is contained in:
Balazs Gerofi
2018-02-19 12:58:33 +09:00
committed by Masamichi Takagi
parent 38c3b2358a
commit 4439b04d9f

View File

@ -76,6 +76,7 @@ void ihk_mc_init_ap(void);
void ihk_mc_init_context(ihk_mc_kernel_context_t *new_ctx,
void *stack_pointer,
void (*next_function)(void));
void *ihk_mc_get_linux_kernel_pgt(void);
int ihk_mc_get_extra_reg_id(unsigned long hw_config, unsigned long hw_config_ext);
unsigned int ihk_mc_get_nr_extra_regs(void);