Searched refs:tboot_copy_memory (Results 1 – 1 of 1) sorted by relevance
| /xen/xen/arch/x86/ |
| A D | tboot.c | 73 static void __init tboot_copy_memory(unsigned char *va, uint32_t size, in tboot_copy_memory() function
131 tboot_copy_memory((unsigned char *)&txt_heap_base, sizeof(txt_heap_base), in tboot_probe()
133 tboot_copy_memory((unsigned char *)&txt_heap_size, sizeof(txt_heap_size), in tboot_probe()
136 tboot_copy_memory((unsigned char *)&sinit_base, sizeof(sinit_base), in tboot_probe()
138 tboot_copy_memory((unsigned char *)&sinit_size, sizeof(sinit_size), in tboot_probe()
465 tboot_copy_memory((unsigned char *)&size, sizeof(size), pa); in tboot_parse_dmar_table()
468 tboot_copy_memory((unsigned char *)&size, sizeof(size), pa); in tboot_parse_dmar_table()
471 tboot_copy_memory((unsigned char *)&size, sizeof(size), pa); in tboot_parse_dmar_table()
475 tboot_copy_memory((unsigned char *)&sinit_mle_data, sizeof(sinit_mle_data), in tboot_parse_dmar_table()
479 tboot_copy_memory((unsigned char *)&dmar_table_length, in tboot_parse_dmar_table()
[all …]
|
Completed in 3 milliseconds