1 /*
2 * Copyright 2021 The Hafnium Authors.
3 *
4 * Use of this source code is governed by a BSD-style
5 * license that can be found in the LICENSE file or at
6 * https://opensource.org/licenses/BSD-3-Clause.
7 */
8
9 #include "hf/plat/interrupts.h"
10 #include "hf/types.h"
11
plat_interrupts_controller_driver_init(const struct fdt * fdt,struct mm_stage1_locked stage1_locked,struct mpool * ppool)12 bool plat_interrupts_controller_driver_init(
13 const struct fdt *fdt, struct mm_stage1_locked stage1_locked,
14 struct mpool *ppool)
15 {
16 (void)fdt;
17 (void)stage1_locked;
18 (void)ppool;
19 return true;
20 }
21
plat_interrupts_controller_hw_init(struct cpu * c)22 void plat_interrupts_controller_hw_init(struct cpu *c)
23 {
24 (void)c;
25 }
26
plat_interrupts_set_priority_mask(uint8_t min_priority)27 void plat_interrupts_set_priority_mask(uint8_t min_priority)
28 {
29 (void)min_priority;
30 }
31
plat_interrupts_get_priority_mask(void)32 uint8_t plat_interrupts_get_priority_mask(void)
33 {
34 return 0;
35 }
36
plat_interrupts_set_priority(uint32_t id,uint32_t core_pos,uint32_t priority)37 void plat_interrupts_set_priority(uint32_t id, uint32_t core_pos,
38 uint32_t priority)
39 {
40 (void)id;
41 (void)core_pos;
42 (void)priority;
43 }
44
plat_interrupts_disable(uint32_t id,uint32_t core_pos)45 void plat_interrupts_disable(uint32_t id, uint32_t core_pos)
46 {
47 (void)id;
48 (void)core_pos;
49 }
50
plat_interrupts_set_type(uint32_t id,uint32_t type)51 void plat_interrupts_set_type(uint32_t id, uint32_t type)
52 {
53 (void)id;
54 (void)type;
55 }
56
plat_interrupts_get_type(uint32_t id)57 uint32_t plat_interrupts_get_type(uint32_t id)
58 {
59 (void)id;
60 return 0;
61 }
62
plat_interrupts_get_pending_interrupt_id(void)63 uint32_t plat_interrupts_get_pending_interrupt_id(void)
64 {
65 return 0;
66 }
67
plat_interrupts_end_of_interrupt(uint32_t id)68 void plat_interrupts_end_of_interrupt(uint32_t id)
69 {
70 (void)id;
71 }
72
plat_interrupts_configure_interrupt(struct interrupt_descriptor int_desc)73 void plat_interrupts_configure_interrupt(struct interrupt_descriptor int_desc)
74 {
75 (void)int_desc;
76 }
77
plat_interrupts_send_sgi(uint32_t id,struct cpu * cpu,bool to_this_security_state)78 void plat_interrupts_send_sgi(uint32_t id, struct cpu *cpu,
79 bool to_this_security_state)
80 {
81 (void)id;
82 (void)cpu;
83 (void)to_this_security_state;
84 }
85