bios_physical_address
uint32 stackTop = bios_physical_address(state, stack) + kStackSize;
M.x86.R_EIP = bios_physical_address(state, halt);
bios_physical_address,