Home
last modified time | relevance | path

Searched refs:VSBL_TOP (Results 1 – 1 of 1) sorted by relevance

/devicemodel/core/
A Dsw_load_vsbl.c87 #define VSBL_TOP(ctx) (64*MB) macro
226 read = fread(ctx->baseaddr + VSBL_TOP(ctx) - vsbl_size, in acrn_prepare_vsbl()
235 vsbl_path, vsbl_size, VSBL_TOP(ctx) - vsbl_size); in acrn_prepare_vsbl()
285 vsbl_para->vsbl_address = VSBL_TOP(ctx) - vsbl_size; in acrn_sw_load_vsbl()
291 pr_info("SW_LOAD: vsbl_entry 0x%lx\n", VSBL_TOP(ctx) - 16); in acrn_sw_load_vsbl()
307 ctx->bsp_regs.vcpu_regs.cs_base = (VSBL_TOP(ctx) - 16) &0xFFFF0000UL; in acrn_sw_load_vsbl()
308 ctx->bsp_regs.vcpu_regs.rip = (VSBL_TOP(ctx) - 16) & 0xFFFFUL; in acrn_sw_load_vsbl()

Completed in 6 milliseconds