Searched refs:pm_base (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dguest_boot_init.c78 uintptr_t pm_base = (vbeinfo.vbeInterfaceSeg << 4) + vbeinfo.vbeInterfaceOff; local
80 if (pm_base > 0xc000) {
82 uintptr_t aligned_pm = ROUND_DOWN(pm_base, PAGE_SIZE_4K);
83 int size = vbeinfo.vbeInterfaceLen + (pm_base - aligned_pm);

Completed in 28 milliseconds