On Mon, May 19, 2014 at 07:49:47PM +0100, David
On Mon, 2014-05-19 at 13:42 -0400, Kevin
I don't see any reference to "int 15h,
ax=0xd042" as a standard. So,
maybe the author of the above text also wrote their own EFI module
which used that magic value?
Well, the INT 15h call would still be on the BIOS side; that doesn't
sound like an EFI thing at all. Perhaps that's a special-case hack to
make their platform *trigger* the SMM entry, which then gets handled by
the EFI code?
FYI, I just stumbled upon this definition in the std/LegacyBios.h efi
/// SMM_FUNCTION Function constants.
#define INT15_D042 0x0000
Looks like it's for BIOS updates. See §8.4 of