Lines Matching refs:table
28 /** System table passed to entry point */
32 * Look up EFI configuration table
34 * @v guid Configuration table GUID
35 * @ret table Configuration table, or NULL
53 * @v systab System table
63 /* Store image handle and system table pointer for future use */
100 if ( ( *(tab->table) = efi_find_table ( &tab->u.guid ) ) ) {
101 DBGC ( systab, "EFI configuration table %s is at %p\n",
102 uuid_ntoa ( &tab->u.uuid ), *(tab->table) );
105 "table %s\n", uuid_ntoa ( &tab->u.uuid ) );
