Bit32u entry_ptr;
{
ASM_START
- DoUpcall IDX_TCPA_EXTEND_ACPI_LOG
+ DoUpcall(IDX_TCPA_EXTEND_ACPI_LOG)
ASM_END
}
tcpa_acpi_init()
{
ASM_START
- DoUpcall IDX_TCPA_ACPI_INIT
+ DoUpcall(IDX_TCPA_ACPI_INIT)
ASM_END
}
tcpa_calling_int19h()
{
ASM_START
- DoUpcall IDX_TCPA_CALLING_INT19H
+ DoUpcall(IDX_TCPA_CALLING_INT19H)
ASM_END
}
tcpa_returned_int19h()
{
ASM_START
- DoUpcall IDX_TCPA_RETURNED_INT19H
+ DoUpcall(IDX_TCPA_RETURNED_INT19H)
ASM_END
}
tcpa_add_event_separators()
{
ASM_START
- DoUpcall IDX_TCPA_ADD_EVENT_SEPARATORS
+ DoUpcall(IDX_TCPA_ADD_EVENT_SEPARATORS)
ASM_END
}
tcpa_wake_event()
{
ASM_START
- DoUpcall IDX_TCPA_WAKE_EVENT
+ DoUpcall(IDX_TCPA_WAKE_EVENT)
ASM_END
}
tcpa_start_option_rom_scan()
{
ASM_START
- DoUpcall IDX_TCPA_START_OPTION_ROM_SCAN
+ DoUpcall(IDX_TCPA_START_OPTION_ROM_SCAN)
ASM_END
}
Bit32u seg;
{
ASM_START
- DoUpcall IDX_TCPA_OPTION_ROM
+ DoUpcall(IDX_TCPA_OPTION_ROM)
ASM_END
}
Bit32u bootdrv;
{
ASM_START
- DoUpcall IDX_TCPA_ADD_BOOTDEVICE
+ DoUpcall(IDX_TCPA_ADD_BOOTDEVICE)
ASM_END
}
Bit32u seg;
{
ASM_START
- DoUpcall IDX_TCPA_IPL
+ DoUpcall(IDX_TCPA_IPL)
ASM_END
}
Bit32u physpres;
{
ASM_START
- DoUpcall IDX_TCPA_INITIALIZE_TPM
+ DoUpcall(IDX_TCPA_INITIALIZE_TPM)
ASM_END
}
Bit32u to;
{
ASM_START
- DoUpcall IDX_TCPA_MEASURE_POST
+ DoUpcall(IDX_TCPA_MEASURE_POST)
ASM_END
}
{
ASM_START
- POST_MEASURE post, nmi
- POST_MEASURE floppy_drive_post, hard_drive_post
- POST_MEASURE hard_drive_post, ebda_post
- POST_MEASURE ebda_post, eoi_jmp_post
- POST_MEASURE eoi_jmp_post, timer_tick_post
- POST_MEASURE timer_tick_post, int76_handler
+ POST_MEASURE(post, nmi)
+ POST_MEASURE(floppy_drive_post, hard_drive_post)
+ POST_MEASURE(hard_drive_post, ebda_post)
+ POST_MEASURE(ebda_post, eoi_jmp_post)
+ POST_MEASURE(eoi_jmp_post, timer_tick_post)
+ POST_MEASURE(timer_tick_post, int76_handler)
ret
ASM_END
Bit32u flags_ptr;
{
ASM_START
- DoUpcall IDX_TCGINTERRUPTHANDLER
+ DoUpcall(IDX_TCGINTERRUPTHANDLER)
ASM_END
}