Searched refs:virt_add_guest_spec_data (Results 1 – 6 of 6) sorted by relevance
| /optee_os/core/include/kernel/ |
| H A D | virtualization.h | 169 TEE_Result virt_add_guest_spec_data(unsigned int *data_id, size_t data_size, 222 virt_add_guest_spec_data(unsigned int *data_id __unused, in virt_add_guest_spec_data() function
|
| /optee_os/core/tests/ |
| H A D | notif_test_wd.c | 108 res = virt_add_guest_spec_data(&wd_data_id, in nex_init_test_wd()
|
| /optee_os/core/kernel/ |
| H A D | notif_default.c | 163 virt_add_guest_spec_data(¬if_vm_bitmap_id, in notif_init()
|
| H A D | notif.c | 161 return virt_add_guest_spec_data(¬if_data_id, in nex_init_notif()
|
| /optee_os/core/arch/arm/kernel/ |
| H A D | virtualization.c | 718 TEE_Result virt_add_guest_spec_data(unsigned int *data_id, size_t data_size, in virt_add_guest_spec_data() function
|
| H A D | thread_spmc.c | 2539 virt_add_guest_spec_data(¬if_vm_bitmap_id, in spmc_init() 2806 virt_add_guest_spec_data(¬if_vm_bitmap_id, in spmc_init()
|