Home
last modified time | relevance | path

Searched refs:set_sdei_entry (Results 1 – 1 of 1) sorted by relevance

/trusted-firmware-a-3.4.0/services/std_svc/sdei/
Dsdei_main.c243 static void set_sdei_entry(sdei_entry_t *se, uint64_t ep, uint64_t arg, in set_sdei_entry() function
452 set_sdei_entry(se, ep, arg, (unsigned int) flags, mpidr); in sdei_event_register()