diff options
Diffstat (limited to 'big-little/virtualisor/include/virtualisor.h')
-rw-r--r-- | big-little/virtualisor/include/virtualisor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/big-little/virtualisor/include/virtualisor.h b/big-little/virtualisor/include/virtualisor.h index f097d39..1bcd5e2 100644 --- a/big-little/virtualisor/include/virtualisor.h +++ b/big-little/virtualisor/include/virtualisor.h @@ -75,6 +75,7 @@ extern void SaveVirtualisor(unsigned); extern void RestoreVirtualisor(unsigned); extern void HandleVirtualisor(gp_regs *); extern void handle_vgic_distif_abort(unsigned, unsigned *, unsigned); +extern void handle_kfscb_abort(unsigned, unsigned *, unsigned); extern unsigned find_sibling_cpu(void); extern virt_descriptor virt_desc_section$$Base; extern unsigned virt_desc_section$$Length; |