1 X(0, Bit32u, TCGInterruptHandler, 2 pushad_regs_t *regs, Bit32u esds, Bit32u flags_ptr) 3 X(1, void, tcpa_acpi_init, void) 4 X(2, Bit32u, tcpa_extend_acpi_log, Bit32u entry_ptr) 5 X(3, void, tcpa_calling_int19h,void) 6 X(4, void, tcpa_returned_int19h, void) 7 X(5, void, tcpa_add_event_separators, void) 8 X(6, void, tcpa_wake_event, void) 9 X(7, void, tcpa_add_bootdevice, Bit32u bootcd, Bit32u bootdrv) 10 X(8, void, tcpa_start_option_rom_scan, void) 11 X(9, void, tcpa_option_rom, Bit32u seg) 12 X(10, void, tcpa_ipl, Bit32u bootcd, Bit32u seg, Bit32u off, Bit32u count) 13 X(11, void, tcpa_measure_post, Bit32u from, Bit32u to) 14 X(12, Bit32u, tcpa_initialize_tpm, Bit32u physpres) 15 X(13, Bit32u, get_s3_waking_vector, void) 16 X(14, Bit32u, pmm, void *argp) 17